public static class ExtendBinaryTransitiveClosure.Backward extends ExtendBinaryTransitiveClosure
ExtendBinaryTransitiveClosure.Backward, ExtendBinaryTransitiveClosure.Forward
ISearchOperation.ISearchOperationExecutor
Constructor and Description |
---|
Backward(CallInformation information,
int sourcePosition,
int targetPosition,
boolean reflexive) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Object[] |
calculateCallFrame(java.lang.Object seed) |
protected java.lang.Object |
getTarget(Tuple frame) |
createExecutor, getCallInformation, getVariablePositions, toString, toString
public Backward(CallInformation information, int sourcePosition, int targetPosition, boolean reflexive)
protected java.lang.Object[] calculateCallFrame(java.lang.Object seed)
calculateCallFrame
in class ExtendBinaryTransitiveClosure
protected java.lang.Object getTarget(Tuple frame)
getTarget
in class ExtendBinaryTransitiveClosure