diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-15 12:35:06 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-15 16:56:29 +0200 |
commit | c4757c72887d0d83a51099c9f33d3e027f55a4e6 (patch) | |
tree | 0cf4a86036be9cca1fd940492001e973d174e4c7 /subprojects/language-semantics/src/main | |
parent | fix: concrete supertype translation (diff) | |
download | refinery-c4757c72887d0d83a51099c9f33d3e027f55a4e6.tar.gz refinery-c4757c72887d0d83a51099c9f33d3e027f55a4e6.tar.zst refinery-c4757c72887d0d83a51099c9f33d3e027f55a4e6.zip |
refactor(language): invalid multiplicity trace
Also simplifies attributes and flags for now, as we don't translate them to
abstractions.
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(); |