public class NACOperation extends CheckOperation
Constructor and Description |
---|
NACOperation(MatcherReference calledQuery,
java.util.Map<PParameter,java.lang.Integer> parameterMapping) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
check(MatchingFrame frame)
Executes the checking operation
|
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(MatcherReference calledQuery, java.util.Map<PParameter,java.lang.Integer> parameterMapping)
public void onInitialize(MatchingFrame frame, ISearchContext context) throws LocalSearchException
ISearchOperation
onInitialize
in interface ISearchOperation
onInitialize
in class CheckOperation
LocalSearchException
protected boolean check(MatchingFrame frame) throws LocalSearchException
CheckOperation
check
in class CheckOperation
LocalSearchException
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<java.lang.Integer> getVariablePositions()