Class TripleMatchFrame


  • public class TripleMatchFrame
    extends GenericTripleMatchFrame
    Frame on the choice point stack used to represent the state of a direct graph triple match.

    This is used in the inner loop of the interpreter and so is a pure data structure not an abstract data type and assumes privileged access to the interpreter state.

    • Constructor Detail

      • TripleMatchFrame

        public TripleMatchFrame​(LPInterpreter interpreter)
        Constructor. Initialize the triple match to preserve the current context of the given LPInterpreter and search for the match defined by the current argument registers
        Parameters:
        interpreter - the interpreter instance whose env, trail and arg values are to be preserved
    • Method Detail

      • nextMatch

        public boolean nextMatch​(LPInterpreter interpreter)
        Find the next result triple and bind the result vars appropriately.
        Parameters:
        interpreter - the calling interpreter whose trail should be used
        Returns:
        false if there are no more matches in the iterator.
      • init

        public void init​(LPInterpreter interpreter)
        Initialize the triple match to preserve the current context of the given LPInterpreter and search for the match defined by the current argument registers
        Overrides:
        init in class GenericTripleMatchFrame
        Parameters:
        interpreter - the interpreter instance whose env, trail and arg values are to be preserved
      • close

        public void close()
        Override close method to reclaim the iterator.
        Overrides:
        close in class FrameObject