|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.rules.rete.Interpreter
public class Interpreter
Title: Interpreter
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Field Summary | |
|---|---|
Compiler |
rete
|
| Constructor Summary | |
|---|---|
Interpreter(ABox abox)
|
|
| Method Summary | |
|---|---|
boolean |
addFact(Fact f)
|
boolean |
isDirty()
|
boolean |
removeMentions(aterm.ATermAppl t)
Remove all facts that have a term matching 't' |
void |
reset()
Remove all facts from the interpreter, leaving the rules intact. |
boolean |
restore(int branch)
Restore abox to the given branch |
java.util.Set<Fact> |
run()
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public Compiler rete
| Constructor Detail |
|---|
public Interpreter(ABox abox)
| Method Detail |
|---|
public boolean addFact(Fact f)
public boolean isDirty()
public boolean removeMentions(aterm.ATermAppl t)
public void reset()
public boolean restore(int branch)
public java.util.Set<Fact> run()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||