Package astra.core

Class RuleExecutor

java.lang.Object

astra.core.RuleExecutor

public class RuleExecutor
extends Object

Constructor Summary

Constructors

Constructor	Description
RuleExecutor(Event event, Rule rule, Map<Integer,Term> bindings, RuleExecutor parent, Intention intention)

Method Summary

Modifier and Type	Method	Description
void	addBindings(Map<Integer,Term> bindings)
void	addGoals(Queue<Formula> queue, Goal goal)
void	addStatement(StatementHandler handler)
void	addStatement(StatementHandler handler, Map<Integer,Term> bindings)
void	addUnboundVariables(Set<Variable> variables)
void	addVariable(Variable variable)
void	addVariable(Variable variable, Term term)
Map<Integer,Term>	bindings()
void	buildFailureTrace(Stack<StatementHandler> failureTrace)
Event	event()
boolean	execute(Intention intention)
Map<Integer,Term>	getAllBindings()
StatementHandler	getNextStatment()
Map<Integer,Term>	getUnboundBindings()
Term	getValue(Variable term)
Intention	intention()
boolean	isDone()
RuleExecutor	parent()
void	printStackTrace()
void	removeVariable(Variable variable)
boolean	rollback(Intention intention)
Rule	rule()
String	toString()
void	updateRuleBindings(Map<Integer,Term> bindings)
boolean	updateVariable(Variable term, Term logic)
String	variableTrace()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

RuleExecutor

public RuleExecutor(Event event, Rule rule, Map<Integer,Term> bindings, RuleExecutor parent, Intention intention)

Method Details

addUnboundVariables

public void addUnboundVariables(Set<Variable> variables)

getUnboundBindings

public Map<Integer,Term> getUnboundBindings()

updateRuleBindings

public void updateRuleBindings(Map<Integer,Term> bindings)

execute

public boolean execute(Intention intention)

isDone

public boolean isDone()

addStatement

public void addStatement(StatementHandler handler)

addStatement

public void addStatement(StatementHandler handler, Map<Integer,Term> bindings)

event

public Event event()

addVariable

public void addVariable(Variable variable)

addVariable

public void addVariable(Variable variable, Term term)

removeVariable

public void removeVariable(Variable variable)

updateVariable

public boolean updateVariable(Variable term, Term logic)

getValue

public Term getValue(Variable term)

bindings

public Map<Integer,Term> bindings()

toString

public String toString()

Overrides:

toString in class Object

variableTrace

public String variableTrace()

getNextStatment

public StatementHandler getNextStatment()

rollback

public boolean rollback(Intention intention)

buildFailureTrace

public void buildFailureTrace(Stack<StatementHandler> failureTrace)

addBindings

public void addBindings(Map<Integer,Term> bindings)

rule

public Rule rule()

printStackTrace

public void printStackTrace()

addGoals

public void addGoals(Queue<Formula> queue, Goal goal)

parent

public RuleExecutor parent()

getAllBindings

public Map<Integer,Term> getAllBindings()

intention

public Intention intention()