public static class ExtendBinaryTransitiveClosure.Backward extends ExtendBinaryTransitiveClosure
ExtendBinaryTransitiveClosure.Backward, ExtendBinaryTransitiveClosure.ForwardISearchOperation.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, toStringpublic Backward(CallInformation information, int sourcePosition, int targetPosition, boolean reflexive)
protected java.lang.Object[] calculateCallFrame(java.lang.Object seed)
calculateCallFrame in class ExtendBinaryTransitiveClosureprotected java.lang.Object getTarget(Tuple frame)
getTarget in class ExtendBinaryTransitiveClosure