Method Summary |
|
public void | addRule(Rule rule) Add a single rule to the store.
N.B. |
public synchronized void | appendToAgenda(RuleState rs) Append a new rule node to the end of the agenda. |
public void | deleteAllRules() Delete all the rules. |
public void | deleteRule(Rule rule) Remove a single rule from the store.
N.B. |
public void | dump() Dump an a summary of the goal table state to stdout. |
public synchronized GoalState | findGoal(TriplePattern goal) Find the set of memoized solutions for the given goal
and return a GoalState that can traverse all the solutions. |
public List | getAllRules() Return an ordered list of all registered rules. |
public BackwardRuleInfGraphI | getInfGraph() Return the rule infernce graph that owns this engine. |
public long | getNRulesFired() |
public synchronized void | halt() Stop the current work. |
public boolean | isTraceOn() Return true if traces of rule firings should be logged. |
public synchronized Triple | next(GoalState topGoalState) The main processing loop. |
public RuleState | nextAgendaItem() Get next agenda item. |
public synchronized void | prependToAgenda(RuleState rs) Prepend a new rule node to the head of the agenda. |
public boolean | processBuiltin(ClauseEntry clause, Rule rule, BindingEnvironment env) |
public synchronized void | reset() Clear all tabled results. |
public List | rulesFor(TriplePattern goal) |
public void | setDerivationLogging(boolean recordDerivations) |
public void | setTraceOn(boolean state) Set the state of the trace flag. |