aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java')
-rw-r--r--subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java14
1 files changed, 7 insertions, 7 deletions
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java
index a79547ec..eb0ca8f9 100644
--- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java
+++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java
@@ -6,17 +6,17 @@
6package tools.refinery.store.dse.transition; 6package tools.refinery.store.dse.transition;
7 7
8import org.junit.jupiter.api.Test; 8import org.junit.jupiter.api.Test;
9import tools.refinery.logic.dnf.FunctionalQuery;
10import tools.refinery.logic.dnf.Query;
11import tools.refinery.logic.dnf.RelationalQuery;
12import tools.refinery.logic.term.Variable;
13import tools.refinery.logic.term.int_.IntTerms;
9import tools.refinery.store.dse.modification.ModificationAdapter; 14import tools.refinery.store.dse.modification.ModificationAdapter;
10import tools.refinery.store.dse.transition.objectives.Criteria; 15import tools.refinery.store.dse.transition.objectives.Criteria;
11import tools.refinery.store.dse.transition.objectives.Objectives; 16import tools.refinery.store.dse.transition.objectives.Objectives;
12import tools.refinery.store.model.Model; 17import tools.refinery.store.model.Model;
13import tools.refinery.store.model.ModelStore; 18import tools.refinery.store.model.ModelStore;
14import tools.refinery.store.query.ModelQueryAdapter; 19import tools.refinery.store.query.ModelQueryAdapter;
15import tools.refinery.store.query.dnf.FunctionalQuery;
16import tools.refinery.store.query.dnf.Query;
17import tools.refinery.store.query.dnf.RelationalQuery;
18import tools.refinery.store.query.term.Variable;
19import tools.refinery.store.query.term.int_.IntTerms;
20import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; 20import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
21import tools.refinery.store.query.view.AnySymbolView; 21import tools.refinery.store.query.view.AnySymbolView;
22import tools.refinery.store.query.view.KeyOnlyView; 22import tools.refinery.store.query.view.KeyOnlyView;
@@ -27,8 +27,8 @@ import tools.refinery.store.tuple.Tuple;
27import java.util.List; 27import java.util.List;
28 28
29import static org.junit.jupiter.api.Assertions.*; 29import static org.junit.jupiter.api.Assertions.*;
30import static tools.refinery.store.query.literal.Literals.check; 30import static tools.refinery.logic.literal.Literals.check;
31import static tools.refinery.store.query.literal.Literals.not; 31import static tools.refinery.logic.literal.Literals.not;
32 32
33class TransitionBuildTests { 33class TransitionBuildTests {
34 Symbol<Boolean> person = new Symbol<>("Person", 1, Boolean.class, false); 34 Symbol<Boolean> person = new Symbol<>("Person", 1, Boolean.class, false);