com.clarkparsia.pellet.rules.rete
Class Interpreter

java.lang.Object
  extended by com.clarkparsia.pellet.rules.rete.Interpreter

public class Interpreter
extends java.lang.Object

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

rete

public Compiler rete
Constructor Detail

Interpreter

public Interpreter(ABox abox)
Method Detail

addFact

public boolean addFact(Fact f)

isDirty

public boolean isDirty()

removeMentions

public boolean removeMentions(aterm.ATermAppl t)
Remove all facts that have a term matching 't'

Returns:
Return true if any fact was removed.

reset

public void reset()
Remove all facts from the interpreter, leaving the rules intact.


restore

public boolean restore(int branch)
Restore abox to the given branch

Returns:
true if a matching fact was removed. False otherwise.

run

public java.util.Set<Fact> run()


Copyright © 2004 Evren Sirin. All Rights Reserved.