public class BinaryTransitiveClosureCheck extends CheckOperation
Constructor and Description |
---|
BinaryTransitiveClosureCheck(MatcherReference calledQuery,
int sourcePosition,
int targetPosition)
The source position will be matched in the called pattern to the first parameter; while target to the second.
|
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 BinaryTransitiveClosureCheck(MatcherReference calledQuery, int sourcePosition, int targetPosition)
calledQuery
- sourcePosition
- targetPosition
- 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()