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, onBacktrack
public NACOperation(PQuery calledQuery, java.util.Map<java.lang.Integer,java.lang.Integer> frameMapping)
public LocalSearchMatcher getAndPrepareCalledMatcher(MatchingFrame frame, ISearchContext context)
IMatcherBasedOperation
getAndPrepareCalledMatcher
in interface IMatcherBasedOperation
frame
- the current matching framecontext
- the search contextpublic LocalSearchMatcher getCalledMatcher()
IMatcherBasedOperation
getCalledMatcher
in interface IMatcherBasedOperation
public PQuery getCalledQuery()
public void onInitialize(MatchingFrame frame, ISearchContext context) throws LocalSearchException
ISearchOperation
onInitialize
in interface ISearchOperation
onInitialize
in class CheckOperation
LocalSearchException
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<java.lang.Integer> getVariablePositions()
getVariablePositions
in interface ISearchOperation