diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-03-07 22:10:42 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:55:46 +0200 |
commit | 16a9b534adec2c53b50f92a43c1623918b1c59c0 (patch) | |
tree | 690b299a2ca31e302ddad219a7aa94bcf86d5d0b /subprojects/store-reasoning-scope/src/test/java | |
parent | fix(frontend): * operator highlighting (diff) | |
download | refinery-16a9b534adec2c53b50f92a43c1623918b1c59c0.tar.gz refinery-16a9b534adec2c53b50f92a43c1623918b1c59c0.tar.zst refinery-16a9b534adec2c53b50f92a43c1623918b1c59c0.zip |
refactor: move terms and DNF into logic subproject
Diffstat (limited to 'subprojects/store-reasoning-scope/src/test/java')
2 files changed, 8 insertions, 8 deletions
diff --git a/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/MultiObjectTest.java b/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/MultiObjectTest.java index 97b9fa5e..2b8b4557 100644 --- a/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/MultiObjectTest.java +++ b/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/MultiObjectTest.java | |||
@@ -20,9 +20,9 @@ import tools.refinery.store.reasoning.seed.ModelSeed; | |||
20 | import tools.refinery.store.reasoning.translator.PartialRelationTranslator; | 20 | import tools.refinery.store.reasoning.translator.PartialRelationTranslator; |
21 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; | 21 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; |
22 | import tools.refinery.store.representation.Symbol; | 22 | import tools.refinery.store.representation.Symbol; |
23 | import tools.refinery.store.representation.TruthValue; | 23 | import tools.refinery.logic.term.truthvalue.TruthValue; |
24 | import tools.refinery.store.representation.cardinality.CardinalityInterval; | 24 | import tools.refinery.logic.term.cardinalityinterval.CardinalityInterval; |
25 | import tools.refinery.store.representation.cardinality.CardinalityIntervals; | 25 | import tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals; |
26 | import tools.refinery.store.tuple.Tuple; | 26 | import tools.refinery.store.tuple.Tuple; |
27 | 27 | ||
28 | import static org.hamcrest.MatcherAssert.assertThat; | 28 | import static org.hamcrest.MatcherAssert.assertThat; |
diff --git a/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java b/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java index 5ee97ce1..f4d5fb60 100644 --- a/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java +++ b/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java | |||
@@ -9,13 +9,15 @@ import org.junit.jupiter.api.Tag; | |||
9 | import org.junit.jupiter.api.Test; | 9 | import org.junit.jupiter.api.Test; |
10 | import org.junit.jupiter.params.ParameterizedTest; | 10 | import org.junit.jupiter.params.ParameterizedTest; |
11 | import org.junit.jupiter.params.provider.ValueSource; | 11 | import org.junit.jupiter.params.provider.ValueSource; |
12 | import tools.refinery.logic.dnf.Query; | ||
13 | import tools.refinery.logic.term.Variable; | ||
14 | import tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals; | ||
15 | import tools.refinery.logic.term.truthvalue.TruthValue; | ||
12 | import tools.refinery.store.dse.propagation.PropagationAdapter; | 16 | import tools.refinery.store.dse.propagation.PropagationAdapter; |
13 | import tools.refinery.store.dse.strategy.BestFirstStoreManager; | 17 | import tools.refinery.store.dse.strategy.BestFirstStoreManager; |
14 | import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; | 18 | import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; |
15 | import tools.refinery.store.model.ModelStore; | 19 | import tools.refinery.store.model.ModelStore; |
16 | import tools.refinery.store.query.dnf.Query; | ||
17 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; | 20 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; |
18 | import tools.refinery.store.query.term.Variable; | ||
19 | import tools.refinery.store.reasoning.ReasoningAdapter; | 21 | import tools.refinery.store.reasoning.ReasoningAdapter; |
20 | import tools.refinery.store.reasoning.ReasoningStoreAdapter; | 22 | import tools.refinery.store.reasoning.ReasoningStoreAdapter; |
21 | import tools.refinery.store.reasoning.interpretation.PartialInterpretation; | 23 | import tools.refinery.store.reasoning.interpretation.PartialInterpretation; |
@@ -27,14 +29,12 @@ import tools.refinery.store.reasoning.translator.containment.ContainmentHierarch | |||
27 | import tools.refinery.store.reasoning.translator.metamodel.Metamodel; | 29 | import tools.refinery.store.reasoning.translator.metamodel.Metamodel; |
28 | import tools.refinery.store.reasoning.translator.metamodel.MetamodelTranslator; | 30 | import tools.refinery.store.reasoning.translator.metamodel.MetamodelTranslator; |
29 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; | 31 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; |
30 | import tools.refinery.store.representation.TruthValue; | ||
31 | import tools.refinery.store.representation.cardinality.CardinalityIntervals; | ||
32 | import tools.refinery.store.statecoding.StateCoderAdapter; | 32 | import tools.refinery.store.statecoding.StateCoderAdapter; |
33 | import tools.refinery.store.tuple.Tuple; | 33 | import tools.refinery.store.tuple.Tuple; |
34 | 34 | ||
35 | import static org.hamcrest.MatcherAssert.assertThat; | 35 | import static org.hamcrest.MatcherAssert.assertThat; |
36 | import static org.hamcrest.Matchers.is; | 36 | import static org.hamcrest.Matchers.is; |
37 | import static tools.refinery.store.query.literal.Literals.not; | 37 | import static tools.refinery.logic.literal.Literals.not; |
38 | 38 | ||
39 | class PredicateScopeTest { | 39 | class PredicateScopeTest { |
40 | private static final PartialRelation index = new PartialRelation("Index", 1); | 40 | private static final PartialRelation index = new PartialRelation("Index", 1); |