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 Details

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

    • 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