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

Class ExtendBinaryTransitiveClosure

java.lang.Object

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

All Implemented Interfaces:

IPatternMatcherOperation, ISearchOperation

Direct Known Subclasses:

ExtendBinaryTransitiveClosure.Backward, ExtendBinaryTransitiveClosure.Forward

public abstract class ExtendBinaryTransitiveClosure
extends Object
implements ISearchOperation, IPatternMatcherOperation

Checking for a transitive closure expressed as a local search pattern matcher. The matched pattern must have two parameters of the same model type.

Since:

1.7

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ExtendBinaryTransitiveClosure.Backward	Calculates the transitive closure of a pattern match in a backward direction (first parameter unbound, second bound)
static class	ExtendBinaryTransitiveClosure.Forward	Calculates the transitive closure of a pattern match in a forward direction (first parameter bound, second unbound).

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

ISearchOperation.ISearchOperationExecutor

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ExtendBinaryTransitiveClosure(CallInformation information, int seedPosition, int targetPosition, boolean reflexive)	The source position will be matched in the called pattern to the first parameter; while target to the second.

Method Summary

Modifier and Type	Method	Description
protected abstract Object[]	calculateCallFrame(Object seed)
ISearchOperation.ISearchOperationExecutor	createExecutor()	Initializes a new operation executor for the given operation.
CallInformation	getCallInformation()	Returns the precomputed call information associated with the current operation
protected abstract Object	getTarget(Tuple frame)
List<Integer>	getVariablePositions()
String	toString()
String	toString(Function<Integer,String> variableMapping)	Creates a string representation of the search operation by replacing the variable numbers according to the parameter function.

Methods inherited from class java.lang.Object

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

Constructor Details

ExtendBinaryTransitiveClosure

protected ExtendBinaryTransitiveClosure(CallInformation information,
 int seedPosition,
 int targetPosition,
 boolean reflexive)

The source position will be matched in the called pattern to the first parameter; while target to the second.

Since:

2.0

Method Details

calculateCallFrame

protected abstract Object[] calculateCallFrame(Object seed)

getTarget

protected abstract Object getTarget(Tuple frame)

createExecutor

public ISearchOperation.ISearchOperationExecutor createExecutor()

Description copied from interface: ISearchOperation

Initializes a new operation executor for the given operation. Repeated calls must return different executor instances.

Specified by:

createExecutor in interface ISearchOperation

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Function<Integer,String> variableMapping)

Description copied from interface: ISearchOperation

Creates a string representation of the search operation by replacing the variable numbers according to the parameter function. It is expected that the provided function does return a non-null value for each variable index that is returned by ISearchOperation.getVariablePositions(); otherwise a NullPointerException will be thrown during the calculation of the string.

Specified by:

toString in interface ISearchOperation

getVariablePositions

public List<Integer> getVariablePositions()

Specified by:

getVariablePositions in interface ISearchOperation

Returns:

the ordered list of the variable numbers that are affected by the search operation

getCallInformation

public CallInformation getCallInformation()

Description copied from interface: IPatternMatcherOperation

Returns the precomputed call information associated with the current operation

Specified by:

getCallInformation in interface IPatternMatcherOperation