Class ExtendBinaryTransitiveClosure.Backward
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.localsearch.operations.extend.ExtendBinaryTransitiveClosure
-
- org.eclipse.viatra.query.runtime.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 org.eclipse.viatra.query.runtime.localsearch.operations.extend.ExtendBinaryTransitiveClosure
ExtendBinaryTransitiveClosure.Backward, ExtendBinaryTransitiveClosure.Forward
-
Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.localsearch.operations.ISearchOperation
ISearchOperation.ISearchOperationExecutor
-
-
Constructor Summary
Constructors Constructor Description Backward(CallInformation information, int sourcePosition, int targetPosition, boolean reflexive)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected java.lang.Object[]
calculateCallFrame(java.lang.Object seed)
protected java.lang.Object
getTarget(Tuple frame)
-
Methods inherited from class org.eclipse.viatra.query.runtime.localsearch.operations.extend.ExtendBinaryTransitiveClosure
createExecutor, getCallInformation, getVariablePositions, toString, toString
-
-
-
-
Constructor Detail
-
Backward
public Backward(CallInformation information, int sourcePosition, int targetPosition, boolean reflexive)
- Since:
- 2.0
-
-
Method Detail
-
calculateCallFrame
protected java.lang.Object[] calculateCallFrame(java.lang.Object seed)
- Specified by:
calculateCallFrame
in classExtendBinaryTransitiveClosure
-
getTarget
protected java.lang.Object getTarget(Tuple frame)
- Specified by:
getTarget
in classExtendBinaryTransitiveClosure
-
-