diff options
Diffstat (limited to 'subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/localsearch/ExtendPositivePatternCall.java')
-rw-r--r-- | subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/localsearch/ExtendPositivePatternCall.java | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/localsearch/ExtendPositivePatternCall.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/localsearch/ExtendPositivePatternCall.java index 9d48c785..b8b6b159 100644 --- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/localsearch/ExtendPositivePatternCall.java +++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/localsearch/ExtendPositivePatternCall.java | |||
@@ -8,15 +8,15 @@ | |||
8 | *******************************************************************************/ | 8 | *******************************************************************************/ |
9 | package tools.refinery.store.query.viatra.internal.localsearch; | 9 | package tools.refinery.store.query.viatra.internal.localsearch; |
10 | 10 | ||
11 | import org.eclipse.viatra.query.runtime.localsearch.MatchingFrame; | 11 | import tools.refinery.viatra.runtime.localsearch.MatchingFrame; |
12 | import org.eclipse.viatra.query.runtime.localsearch.matcher.ISearchContext; | 12 | import tools.refinery.viatra.runtime.localsearch.matcher.ISearchContext; |
13 | import org.eclipse.viatra.query.runtime.localsearch.operations.IPatternMatcherOperation; | 13 | import tools.refinery.viatra.runtime.localsearch.operations.IPatternMatcherOperation; |
14 | import org.eclipse.viatra.query.runtime.localsearch.operations.ISearchOperation; | 14 | import tools.refinery.viatra.runtime.localsearch.operations.ISearchOperation; |
15 | import org.eclipse.viatra.query.runtime.localsearch.operations.util.CallInformation; | 15 | import tools.refinery.viatra.runtime.localsearch.operations.util.CallInformation; |
16 | import org.eclipse.viatra.query.runtime.matchers.backend.IQueryResultProvider; | 16 | import tools.refinery.viatra.runtime.matchers.backend.IQueryResultProvider; |
17 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 17 | import tools.refinery.viatra.runtime.matchers.tuple.Tuple; |
18 | import org.eclipse.viatra.query.runtime.matchers.tuple.TupleMask; | 18 | import tools.refinery.viatra.runtime.matchers.tuple.TupleMask; |
19 | import org.eclipse.viatra.query.runtime.matchers.tuple.VolatileModifiableMaskedTuple; | 19 | import tools.refinery.viatra.runtime.matchers.tuple.VolatileModifiableMaskedTuple; |
20 | 20 | ||
21 | import java.util.Iterator; | 21 | import java.util.Iterator; |
22 | import java.util.List; | 22 | import java.util.List; |