aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/main
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/language-semantics/src/main')
-rw-r--r--subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTreeCursor.java14
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 @@
1package tools.refinery.language.semantics.model.internal; 1package tools.refinery.language.semantics.model.internal;
2 2
3import tools.refinery.store.map.Cursor; 3import tools.refinery.store.map.Cursor;
4import tools.refinery.store.map.VersionedMap;
5import tools.refinery.store.tuple.Tuple;
6import tools.refinery.store.model.representation.TruthValue; 4import tools.refinery.store.model.representation.TruthValue;
5import tools.refinery.store.tuple.Tuple;
7 6
8import java.util.ArrayDeque; 7import java.util.ArrayDeque;
9import java.util.Deque; 8import java.util.Deque;
10import java.util.List;
11 9
12class DecisionTreeCursor implements Cursor<Tuple, TruthValue> { 10class 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}