Uses of Class
ai.planning.propositional.Goal

Packages that use Goal

ai.planning.propositional

Uses of Goal in ai.planning.propositional

Fields in ai.planning.propositional declared as Goal

protected Goal

Problem.goal the goal condition to be achieved

Methods in ai.planning.propositional that return Goal

Goal	Goal.clone() This function creates a copy of this Goal.
Goal	Problem.getGoal() This function returns the goal conditions that define this Problem.
protected static Goal	PplProblemAdaptor.parseGoal(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props) This function reads tokens from the given LexicalAnalyzer and attempts to create a Goal that corresponds to the parsed tokens.
Goal	Goal.regress(Action<ai.krr.propositions.Atom> action) This function computes a new Goal that is the result of regressing this Goal through the given Action.

Methods in ai.planning.propositional that return types with arguments of type Goal

java.util.Set<Goal>	Domain.getSubGoals(Goal goal) This function computes the regression set of the given Goal.
java.util.Set<Goal>	Domain.getSubGoals(java.util.Set<Goal> goals) This function computes the possible sub-goals of the given Set of Goals.

Methods in ai.planning.propositional with parameters of type Goal

java.util.Set<Goal>	Domain.getSubGoals(Goal goal) This function computes the regression set of the given Goal.
protected static void	PplProblemAdaptor.prettyPrintGoalSpec(int indent, Goal goal, java.io.Writer w, java.util.Properties props) This function writes the given Goal to the given Writer, using the given Properties.
protected static void	PplProblemAdaptor.writeGoalSpec(Goal goal, java.io.Writer w, java.util.Properties props) This function writes the given Goal to the given Writer, using the given Properties.

Method parameters in ai.planning.propositional with type arguments of type Goal

java.util.Set<Goal>

Domain.getSubGoals(java.util.Set<Goal> goals) This function computes the possible sub-goals of the given Set of Goals.

Constructors in ai.planning.propositional with parameters of type Goal

Problem(Domain d, WorldState s0, Goal g)
This constructor creates a new planning problem over the given domain.