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()
ISearchOperation
createExecutor
in interface ISearchOperation
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(java.util.function.Function<java.lang.Integer,java.lang.String> variableMapping)
ISearchOperation
ISearchOperation.getVariablePositions()
; otherwise a NullPointerException
will be
thrown during the calculation of the string.toString
in interface ISearchOperation
public java.util.List<java.lang.Integer> getVariablePositions()
getVariablePositions
in interface ISearchOperation
public CallInformation getCallInformation()
IPatternMatcherOperation
getCallInformation
in interface IPatternMatcherOperation