Uses of Class
edu.uky.ai.util.ImmutableArray
Packages that use ImmutableArray
Package
Description
Contains objects for representing logical formulas.
Contains objects for representing planning problems, planning algorithms, and plans.
Contains objects for representing plan space search and plan space planners.
Contains objects for representing forward and backward state space
search and state space planners.
Contains assorted helpful objects.
-
Uses of ImmutableArray in edu.uky.ai.logic
Fields in edu.uky.ai.logic declared as ImmutableArrayModifier and TypeFieldDescriptionfinal ImmutableArray<Proposition>
BooleanProposition.arguments
The other propositions that are part of this Boolean propositionfinal ImmutableArray<Term>
Predication.terms
The terms between which the relationship holdsMethods in edu.uky.ai.logic that return ImmutableArrayModifier and TypeMethodDescriptionprotected ImmutableArray<Proposition>
BooleanProposition.negateArguments()
Returns the arguments of this formula after negating each of them.protected ImmutableArray<Proposition>
BooleanProposition.substituteArguments
(Substitution substitution) Returns the arguments of this formula after applying the given substitution.Constructors in edu.uky.ai.logic with parameters of type ImmutableArrayModifierConstructorDescriptionBooleanProposition
(ImmutableArray<Proposition> arguments) Constructs a new Boolean proposition with the given arguments.Conjunction
(ImmutableArray<Proposition> arguments) Constructs a conjunction from a group of arguments.Disjunction
(ImmutableArray<Proposition> arguments) Constructs a disjunction from a group of arguments.Predication
(String predicate, ImmutableArray<Term> terms) Constructs a new predication with the given predicate and terms. -
Uses of ImmutableArray in edu.uky.ai.planning
Fields in edu.uky.ai.planning declared as ImmutableArrayModifier and TypeFieldDescriptionfinal ImmutableArray<Constant>
Domain.constants
A set of objects that must exist in for problems in this domainfinal ImmutableArray<Constant>
Problem.objects
All the objects that exist in the worldfinal ImmutableArray<Operator>
Domain.operators
A set of action templatesfinal ImmutableArray<Variable>
Operator.parameters
The parameters that provide the specific details for the actionConstructors in edu.uky.ai.planning with parameters of type ImmutableArrayModifierConstructorDescriptionDomain
(String name, ImmutableArray<Constant> constants, ImmutableArray<Operator> operators) Constructs a new domain.Operator
(String name, ImmutableArray<Variable> parameters, Proposition precondition, Proposition effect) Constructs a new action template.Problem
(String name, Domain domain, ImmutableArray<Constant> objects, State initial, Proposition goal) Constructs a new problem. -
Uses of ImmutableArray in edu.uky.ai.planning.ps
Fields in edu.uky.ai.planning.ps declared as ImmutableArrayModifier and TypeFieldDescriptionfinal ImmutableArray<Literal>
PartialStep.effects
An array of this step's effectsfinal ImmutableArray<Variable>
PartialStep.parameters
All the variables used in this stepfinal ImmutableArray<Literal>
PartialStep.preconditions
An array of this step's preconditions -
Uses of ImmutableArray in edu.uky.ai.planning.ss
Fields in edu.uky.ai.planning.ss declared as ImmutableArrayModifier and TypeFieldDescriptionfinal ImmutableArray<Literal>
StateSpaceProblem.literals
Every possible literal that could be true or false in a given statefinal ImmutableArray<Step>
StateSpaceProblem.steps
Every possible step that could be taken in a solution to this problem -
Uses of ImmutableArray in edu.uky.ai.util
Fields in edu.uky.ai.util declared as ImmutableArrayModifier and TypeFieldDescriptionfinal ImmutableArray<Table.Cell>
Table.cells
The table's cellsfinal ImmutableArray<Table.Cell>
Table.Sequence.cells
The cells that make up this row or columnfinal ImmutableArray<Table.Column>
Table.columns
The table's columnsfinal ImmutableArray<Table.Row>
Table.rows
The table's rows