public class GenericTripleMatchFrame extends GenericChoiceFrame
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 and Description |
---|
GenericTripleMatchFrame() |
Modifier and Type | Method and Description |
---|---|
boolean |
bindResult(Triple triple,
LPInterpreter interpreter)
Bind the goal variables to the given result triple.
|
boolean |
functorMatch(Triple t,
LPInterpreter interpreter)
Check that the object of a triple match corresponds to the given functor pattern.
|
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
|
setContinuation
close, fastLinkTo, getLink, linkTo
public boolean bindResult(Triple triple, LPInterpreter interpreter)
public boolean functorMatch(Triple t, LPInterpreter interpreter)
public void init(LPInterpreter interpreter)
init
in class GenericChoiceFrame
interpreter
- the interpreter instance whose env, trail and arg values are to be preservedLicenced under the Apache License, Version 2.0