diff options
Diffstat (limited to 'model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationUpdateListenerEntry.java')
-rw-r--r-- | model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationUpdateListenerEntry.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationUpdateListenerEntry.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationUpdateListenerEntry.java index def02aa5..55aed7c8 100644 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationUpdateListenerEntry.java +++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationUpdateListenerEntry.java | |||
@@ -7,13 +7,14 @@ import org.eclipse.viatra.query.runtime.matchers.context.IQueryRuntimeContextLis | |||
7 | import org.eclipse.viatra.query.runtime.matchers.tuple.ITuple; | 7 | import org.eclipse.viatra.query.runtime.matchers.tuple.ITuple; |
8 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 8 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
9 | import org.eclipse.viatra.solver.data.model.Tuple; | 9 | import org.eclipse.viatra.solver.data.model.Tuple; |
10 | import org.eclipse.viatra.solver.data.query.view.RelationView; | ||
10 | 11 | ||
11 | public class RelationUpdateListenerEntry<D> { | 12 | public class RelationUpdateListenerEntry<D> { |
12 | final RelationViewKey<D> key; | 13 | final RelationView<D> key; |
13 | final ITuple filter; | 14 | final ITuple filter; |
14 | final IQueryRuntimeContextListener listener; | 15 | final IQueryRuntimeContextListener listener; |
15 | 16 | ||
16 | public RelationUpdateListenerEntry(RelationViewKey<D> key, ITuple filter, IQueryRuntimeContextListener listener) { | 17 | public RelationUpdateListenerEntry(RelationView<D> key, ITuple filter, IQueryRuntimeContextListener listener) { |
17 | super(); | 18 | super(); |
18 | this.key = key; | 19 | this.key = key; |
19 | this.filter = filter; | 20 | this.filter = filter; |