|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Interface used to convey context information from a rule engine to the stack of procedural builtins. This gives access to the triggering rule, the variable bindings and the set of currently known triples.
Method Summary | |
void |
add(Triple t)
Assert a new triple in the deduction graph, triggering any consequent processing as appropriate. |
boolean |
contains(Node s,
Node p,
Node o)
Return true if the triple pattern is already in either the graph or the stack. |
boolean |
contains(Triple t)
Return true if the triple is already in either the graph or the stack. |
ClosableIterator |
find(Node s,
Node p,
Node o)
In some formulations the context includes deductions that are not yet visible to the underlying graph but need to be checked for. |
BindingEnvironment |
getEnv()
Returns the current variable binding environment for the current rule. |
InfGraph |
getGraph()
Returns the parent inference graph. |
Rule |
getRule()
Returns the rule. |
void |
remove(Triple t)
Remove a triple from the deduction graph (and the original graph if relevant). |
void |
setRule(Rule rule)
Sets the rule. |
void |
silentAdd(Triple t)
Assert a new triple in the deduction graph, bypassing any processing machinery. |
Method Detail |
public BindingEnvironment getEnv()
public InfGraph getGraph()
public Rule getRule()
public void setRule(Rule rule)
rule
- The rule to setpublic boolean contains(Triple t)
public boolean contains(Node s, Node p, Node o)
public ClosableIterator find(Node s, Node p, Node o)
public void silentAdd(Triple t)
public void add(Triple t)
public void remove(Triple t)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |