public abstract class ExtendBinaryTransitiveClosure extends java.lang.Object implements ISearchOperation, IPatternMatcherOperation
| Modifier and Type | Class and 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).
|
ISearchOperation.ISearchOperationExecutor| Modifier | Constructor and 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.
|
| Modifier and Type | Method and Description |
|---|---|
protected abstract java.lang.Object[] |
calculateCallFrame(java.lang.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 java.lang.Object |
getTarget(Tuple frame) |
java.util.List<java.lang.Integer> |
getVariablePositions() |
java.lang.String |
toString() |
java.lang.String |
toString(java.util.function.Function<java.lang.Integer,java.lang.String> variableMapping)
Creates a string representation of the search operation by replacing the variable numbers according to the
parameter function.
|
protected ExtendBinaryTransitiveClosure(CallInformation information, int seedPosition, int targetPosition, boolean reflexive)
protected abstract java.lang.Object[] calculateCallFrame(java.lang.Object seed)
protected abstract java.lang.Object getTarget(Tuple frame)
public ISearchOperation.ISearchOperationExecutor createExecutor()
ISearchOperationcreateExecutor in interface ISearchOperationpublic java.lang.String toString()
toString in class java.lang.Objectpublic java.lang.String toString(java.util.function.Function<java.lang.Integer,java.lang.String> variableMapping)
ISearchOperationISearchOperation.getVariablePositions(); otherwise a NullPointerException will be
thrown during the calculation of the string.toString in interface ISearchOperationpublic java.util.List<java.lang.Integer> getVariablePositions()
getVariablePositions in interface ISearchOperationpublic CallInformation getCallInformation()
IPatternMatcherOperationgetCallInformation in interface IPatternMatcherOperation