boolean |
GenericTripleMatchFrame.bindResult(Triple triple,
LPInterpreter interpreter) |
Bind the goal variables to the given result triple.
|
void |
LPBRuleEngine.detach(LPInterpreter engine) |
Detach the given engine from the list of active engines for this inf graph
|
boolean |
GenericTripleMatchFrame.functorMatch(Triple t,
LPInterpreter interpreter) |
Check that the object of a triple match corresponds to the given functor pattern.
|
void |
ChoicePointFrame.init(LPInterpreter interpreter,
java.util.List<RuleClauseCode> predicateClauses) |
Initialize a choice point to preserve the current context of the given intepreter
and then call the given set of predicates.
|
void |
ConsumerChoicePointFrame.init(LPInterpreter interpreter) |
Initialize the choice point state.
|
void |
GenericChoiceFrame.init(LPInterpreter interpreter) |
Initialize a choice point to preserve the current context of the given intepreter
and then call the given set of predicates.
|
void |
GenericTripleMatchFrame.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
|
void |
TripleMatchFrame.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
|
StateFlag |
ConsumerChoicePointFrame.nextMatch(LPInterpreter interpreter) |
Find the next result triple and bind the result vars appropriately.
|
boolean |
TopLevelTripleMatchFrame.nextMatch(LPInterpreter interpreter) |
Find the next result triple and bind the result vars appropriately.
|
boolean |
TripleMatchFrame.nextMatch(LPInterpreter interpreter) |
Find the next result triple and bind the result vars appropriately.
|
void |
ConsumerChoicePointFrame.restoreState(LPInterpreter interp) |
Restore the state of an interpreter from this frame
|