diff options
Diffstat (limited to 'subprojects/language-semantics/src/main')
-rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java index 727a9528..a1fdc73d 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java | |||
@@ -1,13 +1,11 @@ | |||
1 | package tools.refinery.language.semantics.model.internal; | 1 | package tools.refinery.language.semantics.model.internal; |
2 | 2 | ||
3 | import tools.refinery.store.map.Cursor; | 3 | import tools.refinery.store.map.Cursor; |
4 | import tools.refinery.store.map.VersionedMap; | ||
5 | import tools.refinery.store.tuple.Tuple; | ||
6 | import tools.refinery.store.model.representation.TruthValue; | 4 | import tools.refinery.store.model.representation.TruthValue; |
5 | import tools.refinery.store.tuple.Tuple; | ||
7 | 6 | ||
8 | import java.util.ArrayDeque; | 7 | import java.util.ArrayDeque; |
9 | import java.util.Deque; | 8 | import java.util.Deque; |
10 | import java.util.List; | ||
11 | 9 | ||
12 | class DecisionTreeCursor implements Cursor<Tuple, TruthValue> { | 10 | class DecisionTreeCursor implements Cursor<Tuple, TruthValue> { |
13 | static final int STATE_FINISH = Integer.MAX_VALUE; | 11 | static final int STATE_FINISH = Integer.MAX_VALUE; |
@@ -81,14 +79,4 @@ class DecisionTreeCursor implements Cursor<Tuple, TruthValue> { | |||
81 | key = Tuple.of(rawTuple); | 79 | key = Tuple.of(rawTuple); |
82 | return true; | 80 | return true; |
83 | } | 81 | } |
84 | |||
85 | @Override | ||
86 | public boolean isDirty() { | ||
87 | return false; | ||
88 | } | ||
89 | |||
90 | @Override | ||
91 | public List<VersionedMap<?, ?>> getDependingMaps() { | ||
92 | return List.of(); | ||
93 | } | ||
94 | } | 82 | } |