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

Class ExtendBinaryTransitiveClosure.Backward

java.lang.Object

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

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

All Implemented Interfaces:

IPatternMatcherOperation, ISearchOperation

Enclosing class:

ExtendBinaryTransitiveClosure

public static class ExtendBinaryTransitiveClosure.Backward
extends ExtendBinaryTransitiveClosure

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

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

Since:

2.0

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
Backward(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

Backward

public Backward(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