Method Summary |
|
public void | add(Triple t) Assert a new triple in the deduction graph, triggering any consequent processing as appropriate. |
public boolean | contains(Triple t) Return true if the triple is already in either the graph or the stack.
I.e. |
public boolean | contains(Node s, Node p, Node o) Return true if the triple pattern is already in either the graph or the stack.
I.e. |
public 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. |
public RETEEngine | getEngine() Returns the RETE engine associated with this context. |
public BindingEnvironment | getEnv() Returns the current variable binding environment for the current rule. |
public InfGraph | getGraph() Returns the graph. |
public Rule | getRule() Returns the rule. |
public void | remove(Triple t) Remove a triple from the deduction graph (and the original graph if relevant). |
public void | setEnv(BindingEnvironment env) Sets the current binding environment for this context. |
public void | setRule(Rule rule) Sets the rule. |
public boolean | shouldFire(boolean allowUnsafe) Check whether the rule should fire in this context. |
public boolean | shouldStillFire() Check if a rule from the conflict set is still OK to fire. |
public void | silentAdd(Triple t) Assert a new triple in the deduction graph, bypassing any processing machinery. |