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.argumentsThe other propositions that are part of this Boolean propositionfinal ImmutableArray<Term>Predication.termsThe 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.constantsA set of objects that must exist in for problems in this domainfinal ImmutableArray<Constant>Problem.objectsAll the objects that exist in the worldfinal ImmutableArray<Operator>Domain.operatorsA set of action templatesfinal ImmutableArray<Variable>Operator.parametersThe 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.effectsAn array of this step's effectsfinal ImmutableArray<Variable>PartialStep.parametersAll the variables used in this stepfinal ImmutableArray<Literal>PartialStep.preconditionsAn 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.literalsEvery possible literal that could be true or false in a given statefinal ImmutableArray<Step>StateSpaceProblem.stepsEvery 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.cellsThe table's cellsfinal ImmutableArray<Table.Cell>Table.Sequence.cellsThe cells that make up this row or columnfinal ImmutableArray<Table.Column>Table.columnsThe table's columnsfinal ImmutableArray<Table.Row>Table.rowsThe table's rows