|
||||||||||
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 |