public static class ExtendBinaryTransitiveClosure.Forward extends ExtendBinaryTransitiveClosure
ExtendBinaryTransitiveClosure.Backward, ExtendBinaryTransitiveClosure.Forward
it, position
Constructor and Description |
---|
Forward(CallInformation information,
int sourcePosition,
int targetPosition) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Object[] |
calculateCallFrame(java.lang.Object seed) |
protected java.lang.Object |
getTarget(Tuple frame) |
getVariablePositions, onInitialize, toString
execute, onBacktrack
public Forward(CallInformation information, int sourcePosition, int targetPosition)
protected java.lang.Object[] calculateCallFrame(java.lang.Object seed)
calculateCallFrame
in class ExtendBinaryTransitiveClosure
protected java.lang.Object getTarget(Tuple frame)
getTarget
in class ExtendBinaryTransitiveClosure