| Method Summary |
|
| public void | add(Triple t)
Add a triple to a temporary "pending" store, ready to be added to added to the
deductions graph and the processing stack later. |
| public void | addTriple(Triple t)
Add a triple to the stack of triples to waiting to be processed by the rule engine. |
| 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 void | flushPending()
Take all the pending triples and add them to both the given graph and
to the processing stack. |
| public BindingEnvironment | getEnv()
Returns the current variable binding environment for the current rule. |
| public BindingStack | getEnvStack()
Variant of the generic getEnv interface specific to the basic
forward rule system. |
| public InfGraph | getGraph()
Returns the graph. |
| public Triple | getNextTriple()
Return the next triple to be added to the graph, removing it from
the stack. |
| 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 | resetEnv(int newSize)
Reset the binding environemnt back to empty. |
| public void | setRule(Rule rule)
Sets the rule. |
| public void | silentAdd(Triple t)
Assert a new triple in the deduction graph, bypassing any processing machinery. |
