com.clarkparsia.pellet.rules.rete

Class Interpreter

java.lang.Object

com.clarkparsia.pellet.rules.rete.Interpreter

public class Interpreter
extends Object

Title: Interpreter

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Field Summary

Fields

Modifier and Type	Field and Description
Compiler	rete

Constructor Summary

Constructors

Constructor and Description
Interpreter(ABox abox)

Method Summary

Methods

Modifier and Type	Method and Description
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
Set<Fact>	run()

Methods inherited from class java.lang.Object

clone, equals, finalize, 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 Set<Fact> run()