Uses of Class
astra.formula.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 booleanIntention. addGoal(Goal goal)voidIntention. addGoals(Queue<Formula> queue, Goal goal)voidRuleExecutor. addGoals(Queue<Formula> queue, Goal goal)voidStatementExecutor. addGoals(Queue<Formula> queue, Goal goal)booleanIntention. addScopedGoal(String scope, Goal goal)voidAgent. initialize(Goal goal) -
Uses of Goal in astra.event
Fields in astra.event declared as Goal Modifier and Type Field Description GoalGoalEvent. goalMethods in astra.event that return Goal Modifier and Type Method Description GoalGoalEvent. goal() -
Uses of Goal in astra.formula
Methods in astra.formula that return Goal Modifier and Type Method Description GoalScopedGoal. formula()Constructors in astra.formula with parameters of type Goal Constructor Description ScopedGoal(String scope, Goal goal) -
Uses of Goal in astra.reasoner
-
Uses of Goal in astra.statement
Methods in astra.statement with parameters of type Goal Modifier and Type Method Description voidAbstractStatementHandler. addGoals(Queue<Formula> list, Goal goal)voidStatementHandler. 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)