Package tools.refinery.interpreter.localsearch.operations.extend

Class ExtendBinaryTransitiveClosure.Forward

java.lang.Object

tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure.Forward

All Implemented Interfaces:

IPatternMatcherOperation, ISearchOperation

Enclosing class:

ExtendBinaryTransitiveClosure

public static class ExtendBinaryTransitiveClosure.Forward
extends ExtendBinaryTransitiveClosure

Calculates the transitive closure of a pattern match in a forward direction (first parameter bound, second unbound).

Note: In case the call is reflexive, it is expected that the bound parameter already matches the universe type of the call.

Since:

1.7

Nested Class Summary

Nested classes/interfaces inherited from class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

ExtendBinaryTransitiveClosure.Backward, ExtendBinaryTransitiveClosure.Forward

Nested classes/interfaces inherited from interface tools.refinery.interpreter.localsearch.operations.ISearchOperation

ISearchOperation.ISearchOperationExecutor

Constructor Summary

Constructors

Constructor	Description
Forward(CallInformation information, int sourcePosition, int targetPosition, boolean reflexive)

Method Summary

Modifier and Type	Method	Description
protected Object[]	calculateCallFrame(Object seed)
protected Object	getTarget(Tuple frame)

Methods inherited from class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

createExecutor, getCallInformation, getVariablePositions, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Forward

public Forward(CallInformation information,
 int sourcePosition,
 int targetPosition,
 boolean reflexive)

Since:

2.0

Method Details

calculateCallFrame

protected Object[] calculateCallFrame(Object seed)

Specified by:

calculateCallFrame in class ExtendBinaryTransitiveClosure

getTarget

protected Object getTarget(Tuple frame)

Specified by:

getTarget in class ExtendBinaryTransitiveClosure