Uses of Interface
edu.uky.ai.logic.Substitution

Packages that use Substitution

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 Substitution in edu.uky.ai.logic

Subinterfaces of Substitution in edu.uky.ai.logic

Modifier and Type	Interface	Description
interface	Bindings	A set of assignments of values to Term terms.

Classes in edu.uky.ai.logic that implement Substitution

Modifier and Type	Class	Description
class	HashSubstitution	A substitution which uses a HashMap to keep track of substitutions.
class	ListBindings	An implementation of Bindings based on a linked list.

Methods in edu.uky.ai.logic with parameters of type Substitution

Modifier and Type	Method	Description
default boolean	Formula.equals(Formula other, Substitution substitution)	Tests whether the formula represented by this object would be the same as another formula under the given substitution.
Atom	Atom.substitute(Substitution substitution)
Atom	AtomicProposition.substitute(Substitution substitution)
Proposition	Conjunction.substitute(Substitution substitution)
Constant	Constant.substitute(Substitution substitution)
Proposition	Disjunction.substitute(Substitution substitution)
Formula	Formula.substitute(Substitution substitution)	Returns a version of this formula such that any elements that appear in the given substitution are replaced.
Proposition	Implication.substitute(Substitution substitution)
Literal	Literal.substitute(Substitution substitution)
Literal	NegatedAtom.substitute(Substitution substitution)
Proposition	Negation.substitute(Substitution substitution)
Atom	Predication.substitute(Substitution substitution)
Proposition	Proposition.substitute(Substitution substitution)
Term	Term.substitute(Substitution substitution)
protected ImmutableArray<Proposition>	BooleanProposition.substituteArguments(Substitution substitution)	Returns the arguments of this formula after applying the given substitution.

Uses of Substitution in edu.uky.ai.planning

Methods in edu.uky.ai.planning with parameters of type Substitution

Modifier and Type	Method	Description
Step	Operator.makeStep(Substitution substitution)	Creates a ground step (i.e.

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

Methods in edu.uky.ai.planning.ps with parameters of type Substitution

Modifier and Type	Method	Description
Step	PartialStep.makeStep(Substitution substitution)	Given a substitution that specific values for all of this step's parameters, this method will return the Step object that this object represents.
String	CausalLink.toString(Substitution substitution)
String	OpenPreconditionFlaw.toString(Substitution substitution)
String	Partial.toString(Substitution substitution)	Returns a string representation of this object in which all variables which have values in the given substitution have been replaced with those values.
String	PartialStep.toString(Substitution substitution)
String	PlanSpaceNode.toString(Substitution substitution)
String	ThreatenedCausalLinkFlaw.toString(Substitution substitution)