Package astra.core
Class StatementExecutor
java.lang.Object
astra.core.StatementExecutor
public class StatementExecutor extends Object
-
Constructor Summary
Constructors Constructor Description StatementExecutor(StatementHandler handler)StatementExecutor(StatementHandler handler, Map<Integer,Term> bindings) -
Method Summary
Modifier and Type Method Description voidaddGoals(Queue<Formula> queue, Goal goal)Map<Integer,Term>bindings()voidbuildFailureTrace(Stack<StatementHandler> failureTrace)booleanexecute(Intention intention)StatementHandlergetStatement()booleanisFinished()booleanrollback(Intention intention)StringtoString()booleanupdateVariable(Variable term, Term logic)
-
Constructor Details
-
Method Details
-
execute
-
bindings
-
updateVariable
-
getStatement
-
rollback
-
buildFailureTrace
-
toString
-
addGoals
-
isFinished
public boolean isFinished()
-