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

Packages that use Constant

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.

Uses of Constant in edu.uky.ai.logic

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

Modifier and Type	Method	Description
Constant	Constant.substitute(Substitution substitution)

Uses of Constant in edu.uky.ai.planning

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

Modifier and Type	Field	Description
final ImmutableArray<Constant>	Domain.constants	A set of objects that must exist in for problems in this domain
final ImmutableArray<Constant>	Problem.objects	All the objects that exist in the world

Methods in edu.uky.ai.planning that return types with arguments of type Constant

Modifier and Type	Method	Description
Iterable<Constant>	Problem.getObjectsByType(String type)	Returns all the objects in the world which are of a given type.

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

Modifier	Constructor	Description
	Domain(String name, Constant[] constants, Operator... operators)	Constructs a new domain.
	Problem(String name, Domain domain, Constant[] objects, State initial, Proposition goal)	Constructs a new problem.

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

Modifier	Constructor	Description
	Domain(String name, ImmutableArray<Constant> constants, ImmutableArray<Operator> operators)	Constructs a new domain.
	Problem(String name, Domain domain, ImmutableArray<Constant> objects, State initial, Proposition goal)	Constructs a new problem.