Class ExtendBinaryTransitiveClosure

    • Constructor Detail

      • 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 Detail

      • calculateCallFrame

        protected abstract java.lang.Object[] calculateCallFrame​(java.lang.Object seed)
      • getTarget

        protected abstract java.lang.Object getTarget​(Tuple frame)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • toString

        public java.lang.String toString​(java.util.function.Function<java.lang.Integer,​java.lang.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 java.util.List<java.lang.Integer> getVariablePositions()
        Specified by:
        getVariablePositions in interface ISearchOperation
        Returns:
        the ordered list of the variable numbers that are affected by the search operation