Uses of Class
edu.uky.ai.logic.Variable

Packages that use Variable

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.
edu.uky.ai.planning	Contains objects for representing planning problems, planning algorithms, and plans.
edu.uky.ai.planning.ps	Contains objects for representing plan space search and plan space planners.

Uses of Variable in edu.uky.ai.logic

Methods in edu.uky.ai.logic that return Variable

Modifier and Type	Method	Description
Variable	Variable.makeUnique()	Returns a new variable object with the same type and a name which is similar to this variable's name but guaranteed to be unique (i.e.

Uses of Variable in edu.uky.ai.planning

Fields in edu.uky.ai.planning with type parameters of type Variable

Modifier and Type	Field	Description
final ImmutableArray<Variable>	Operator.parameters	The parameters that provide the specific details for the action

Constructors in edu.uky.ai.planning with parameters of type Variable

Modifier	Constructor	Description
	Operator(String name, Variable[] parameters, Proposition precondition, Proposition effect)	Constructs a new action template.

Constructor parameters in edu.uky.ai.planning with type arguments of type Variable

Modifier	Constructor	Description
	Operator(String name, ImmutableArray<Variable> parameters, Proposition precondition, Proposition effect)	Constructs a new action template.

Uses of Variable in edu.uky.ai.planning.ps

Fields in edu.uky.ai.planning.ps with type parameters of type Variable

Modifier and Type	Field	Description
final ImmutableArray<Variable>	PartialStep.parameters	All the variables used in this step