public class NACOperation extends CheckOperation implements IMatcherBasedOperation
| Constructor and Description |
|---|
NACOperation(PQuery calledQuery,
java.util.Map<java.lang.Integer,java.lang.Integer> frameMapping) |
| Modifier and Type | Method and Description |
|---|---|
LocalSearchMatcher |
getAndPrepareCalledMatcher(MatchingFrame frame,
ISearchContext context)
Gets the called matcher based on the context and the current adornment and stores it in the corresponding field of the operation
|
LocalSearchMatcher |
getCalledMatcher()
Gets the called matcher associated with the operation
|
PQuery |
getCalledQuery() |
java.util.List<java.lang.Integer> |
getVariablePositions() |
void |
onInitialize(MatchingFrame frame,
ISearchContext context)
During the execution of the corresponding plan, the onInitialize callback is evaluated before the execution of
the operation may begin.
|
java.lang.String |
toString() |
execute, onBacktrackpublic NACOperation(PQuery calledQuery, java.util.Map<java.lang.Integer,java.lang.Integer> frameMapping)
public LocalSearchMatcher getAndPrepareCalledMatcher(MatchingFrame frame, ISearchContext context)
IMatcherBasedOperationgetAndPrepareCalledMatcher in interface IMatcherBasedOperationframe - the current matching framecontext - the search contextpublic LocalSearchMatcher getCalledMatcher()
IMatcherBasedOperationgetCalledMatcher in interface IMatcherBasedOperationpublic PQuery getCalledQuery()
public void onInitialize(MatchingFrame frame, ISearchContext context) throws LocalSearchException
ISearchOperationonInitialize in interface ISearchOperationonInitialize in class CheckOperationLocalSearchExceptionpublic java.lang.String toString()
toString in class java.lang.Objectpublic java.util.List<java.lang.Integer> getVariablePositions()
getVariablePositions in interface ISearchOperation