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/language-semantics/src/test | |
| 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/language-semantics/src/test')
2 files changed, 3 insertions, 3 deletions
diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/CountPropagationTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/CountPropagationTest.java index b679c1ef..207bc7ff 100644 --- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/CountPropagationTest.java +++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/CountPropagationTest.java | |||
| @@ -19,8 +19,8 @@ import tools.refinery.store.reasoning.seed.ModelSeed; | |||
| 19 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; | 19 | import tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator; |
| 20 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy; | 20 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy; |
| 21 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator; | 21 | import tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator; |
| 22 | import tools.refinery.store.representation.TruthValue; | 22 | import tools.refinery.logic.term.truthvalue.TruthValue; |
| 23 | import tools.refinery.store.representation.cardinality.CardinalityIntervals; | 23 | import tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals; |
| 24 | import tools.refinery.store.tuple.Tuple; | 24 | import tools.refinery.store.tuple.Tuple; |
| 25 | 25 | ||
| 26 | import static org.hamcrest.MatcherAssert.assertThat; | 26 | import static org.hamcrest.MatcherAssert.assertThat; |
diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/internal/DecisionTreeTests.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/internal/DecisionTreeTests.java index 61ce850f..cb0885c1 100644 --- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/internal/DecisionTreeTests.java +++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/internal/DecisionTreeTests.java | |||
| @@ -6,7 +6,7 @@ | |||
| 6 | package tools.refinery.language.semantics.internal; | 6 | package tools.refinery.language.semantics.internal; |
| 7 | 7 | ||
| 8 | import org.junit.jupiter.api.Test; | 8 | import org.junit.jupiter.api.Test; |
| 9 | import tools.refinery.store.representation.TruthValue; | 9 | import tools.refinery.logic.term.truthvalue.TruthValue; |
| 10 | import tools.refinery.store.tuple.Tuple; | 10 | import tools.refinery.store.tuple.Tuple; |
| 11 | 11 | ||
| 12 | import java.util.LinkedHashMap; | 12 | import java.util.LinkedHashMap; |