Uses of Class
astra.formula.Goal

Packages that use Goal

Package	Description
astra.core
astra.event
astra.formula
astra.reasoner
astra.statement

Uses of Goal in astra.core

Methods in astra.core with parameters of type Goal

Modifier and Type	Method	Description
boolean	Intention.addGoal(Goal goal)
void	Intention.addGoals(Queue<Formula> queue, Goal goal)
void	RuleExecutor.addGoals(Queue<Formula> queue, Goal goal)
void	StatementExecutor.addGoals(Queue<Formula> queue, Goal goal)
boolean	Intention.addScopedGoal(String scope, Goal goal)
void	Agent.initialize(Goal goal)

Uses of Goal in astra.event

Fields in astra.event declared as Goal

Modifier and Type	Field	Description
Goal	GoalEvent.goal

Methods in astra.event that return Goal

Modifier and Type	Method	Description
Goal	GoalEvent.goal()

Constructors in astra.event with parameters of type Goal

Constructor	Description
GoalEvent(char type, Goal goal)
GoalEvent(char type, Goal goal, Object source)

Uses of Goal in astra.formula

Methods in astra.formula that return Goal

Modifier and Type	Method	Description
Goal	ScopedGoal.formula()

Constructors in astra.formula with parameters of type Goal

Constructor	Description
ScopedGoal(String scope, Goal goal)

Uses of Goal in astra.reasoner

Methods in astra.reasoner with parameters of type Goal

Modifier and Type	Method	Description
static Map<Integer,Term>	Unifier.unify(Goal source, Goal target, Agent agent)	Generate variable bindings for two achievement goals or return null if there is no binding...

Uses of Goal in astra.statement

Methods in astra.statement with parameters of type Goal

Modifier and Type	Method	Description
void	AbstractStatementHandler.addGoals(Queue<Formula> list, Goal goal)
void	StatementHandler.addGoals(Queue<Formula> list, Goal goal)

Constructors in astra.statement with parameters of type Goal

Constructor	Description
ScopedSpawnGoal(String clazz, int[] data, String scope, Goal goal)
ScopedSpawnGoal(String scope, Goal goal)
ScopedSubgoal(String clazz, int[] data, String scope, Goal goal)
ScopedSubgoal(String scope, Goal goal)
SpawnGoal(Goal goal)
SpawnGoal(String clazz, int[] data, Goal goal)
Subgoal(Goal goal)
Subgoal(String clazz, int[] data, Goal goal)