diff options
Diffstat (limited to 'subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java')
-rw-r--r-- | subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java | 10 |
1 files changed, 5 insertions, 5 deletions
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); |