diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java index 4bff4557..67e8035f 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java | |||
@@ -45,13 +45,12 @@ public class TypeHierarchyTranslator implements ModelStoreConfiguration { | |||
45 | 45 | ||
46 | private ModelStoreConfiguration createPreservedTypeTranslator(PartialRelation type, TypeAnalysisResult result) { | 46 | private ModelStoreConfiguration createPreservedTypeTranslator(PartialRelation type, TypeAnalysisResult result) { |
47 | var may = Query.of(type.name() + "#partial#may", (builder, p1) -> { | 47 | var may = Query.of(type.name() + "#partial#may", (builder, p1) -> { |
48 | if (result.isAbstractType()) { | 48 | if (!result.isAbstractType()) { |
49 | for (var subtype : result.getDirectSubtypes()) { | ||
50 | builder.clause(PartialLiterals.may(subtype.call(p1))); | ||
51 | } | ||
52 | } else { | ||
53 | builder.clause(new MayTypeView(typeSymbol, type).call(p1)); | 49 | builder.clause(new MayTypeView(typeSymbol, type).call(p1)); |
54 | } | 50 | } |
51 | for (var subtype : result.getDirectSubtypes()) { | ||
52 | builder.clause(PartialLiterals.may(subtype.call(p1))); | ||
53 | } | ||
55 | }); | 54 | }); |
56 | 55 | ||
57 | var must = Query.of(type.name() + "#partial#must", (builder, p1) -> builder.clause( | 56 | var must = Query.of(type.name() + "#partial#must", (builder, p1) -> builder.clause( |