From c4757c72887d0d83a51099c9f33d3e027f55a4e6 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 15 Aug 2023 12:35:06 +0200 Subject: refactor(language): invalid multiplicity trace Also simplifies attributes and flags for now, as we don't translate them to abstractions. --- .../tools/refinery/language/semantics/model/ModelInitializer.java | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'subprojects/language-semantics') 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; import org.eclipse.collections.api.factory.primitive.ObjectIntMaps; import org.eclipse.collections.api.map.primitive.MutableObjectIntMap; import tools.refinery.language.model.problem.*; -import tools.refinery.language.semantics.model.internal.DecisionTree; import tools.refinery.language.utils.ProblemDesugarer; -import tools.refinery.language.utils.RelationInfo; import tools.refinery.store.representation.Symbol; import tools.refinery.store.representation.TruthValue; import tools.refinery.store.tuple.Tuple; @@ -30,7 +28,7 @@ public class ModelInitializer { private int nodeCount = 0; - public void createModel(Problem problem) { + /*public void createModel(Problem problem) { var builtinSymbols = desugarer.getBuiltinSymbols(problem).orElseThrow(() -> new IllegalArgumentException( "Problem has no builtin library")); var collectedSymbols = desugarer.collectSymbols(problem); @@ -70,7 +68,7 @@ public class ModelInitializer { defaultAssertions.setAllMissing(TruthValue.FALSE); } return defaultAssertions; - } + }*/ private Tuple getTuple(Assertion assertion) { var arguments = assertion.getArguments(); -- cgit v1.2.3-70-g09d2