public class BinaryTransitiveClosureCheck extends CheckOperation implements IPatternMatcherOperation
Constructor and Description |
---|
BinaryTransitiveClosureCheck(CallInformation information,
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,
ISearchContext context)
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(CallInformation information, int sourcePosition, int 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, ISearchContext context) 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()
getVariablePositions
in interface ISearchOperation