diff options
Diffstat (limited to 'subprojects/language-semantics/src/main')
-rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java index 06b8ad77..fe67ed2c 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | |||
@@ -9,9 +9,7 @@ import com.google.inject.Inject; | |||
9 | import org.eclipse.collections.api.factory.primitive.ObjectIntMaps; | 9 | import org.eclipse.collections.api.factory.primitive.ObjectIntMaps; |
10 | import org.eclipse.collections.api.map.primitive.MutableObjectIntMap; | 10 | import org.eclipse.collections.api.map.primitive.MutableObjectIntMap; |
11 | import tools.refinery.language.model.problem.*; | 11 | import tools.refinery.language.model.problem.*; |
12 | import tools.refinery.language.semantics.model.internal.DecisionTree; | ||
13 | import tools.refinery.language.utils.ProblemDesugarer; | 12 | import tools.refinery.language.utils.ProblemDesugarer; |
14 | import tools.refinery.language.utils.RelationInfo; | ||
15 | import tools.refinery.store.representation.Symbol; | 13 | import tools.refinery.store.representation.Symbol; |
16 | import tools.refinery.store.representation.TruthValue; | 14 | import tools.refinery.store.representation.TruthValue; |
17 | import tools.refinery.store.tuple.Tuple; | 15 | import tools.refinery.store.tuple.Tuple; |
@@ -30,7 +28,7 @@ public class ModelInitializer { | |||
30 | 28 | ||
31 | private int nodeCount = 0; | 29 | private int nodeCount = 0; |
32 | 30 | ||
33 | public void createModel(Problem problem) { | 31 | /*public void createModel(Problem problem) { |
34 | var builtinSymbols = desugarer.getBuiltinSymbols(problem).orElseThrow(() -> new IllegalArgumentException( | 32 | var builtinSymbols = desugarer.getBuiltinSymbols(problem).orElseThrow(() -> new IllegalArgumentException( |
35 | "Problem has no builtin library")); | 33 | "Problem has no builtin library")); |
36 | var collectedSymbols = desugarer.collectSymbols(problem); | 34 | var collectedSymbols = desugarer.collectSymbols(problem); |
@@ -70,7 +68,7 @@ public class ModelInitializer { | |||
70 | defaultAssertions.setAllMissing(TruthValue.FALSE); | 68 | defaultAssertions.setAllMissing(TruthValue.FALSE); |
71 | } | 69 | } |
72 | return defaultAssertions; | 70 | return defaultAssertions; |
73 | } | 71 | }*/ |
74 | 72 | ||
75 | private Tuple getTuple(Assertion assertion) { | 73 | private Tuple getTuple(Assertion assertion) { |
76 | var arguments = assertion.getArguments(); | 74 | var arguments = assertion.getArguments(); |