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

Packages that use Bindings

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

Uses of Bindings in edu.uky.ai.logic

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

Modifier and Type	Class	Description
class	ListBindings	An implementation of Bindings based on a linked list.

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

Modifier and Type	Method	Description
Bindings	Bindings.setEqual(Term t1, Term t2)	Declares that two terms must have the same value.
Bindings	ListBindings.setEqual(Term t1, Term t2)
Bindings	Bindings.setNotEqual(Term t1, Term t2)	Declares that two terms must have different values.
Bindings	ListBindings.setNotEqual(Term t1, Term t2)
Bindings	AtomicProposition.unify(Formula other, Bindings bindings)
Bindings	Conjunction.unify(Formula other, Bindings bindings)
Bindings	Disjunction.unify(Formula other, Bindings bindings)
Bindings	Formula.unify(Formula other, Bindings bindings)	Finds the bindings that would be necessary to make this formula the same as another formula (if any exist).
Bindings	Implication.unify(Formula other, Bindings bindings)
Bindings	Negation.unify(Formula other, Bindings bindings)
Bindings	Predication.unify(Formula other, Bindings bindings)
Bindings	Term.unify(Formula other, Bindings bindings)
protected Bindings	BooleanProposition.unifyArguments(Formula other, Bindings bindings)	Unifies this formula's arguments with the arguments of another Boolean proposition.

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

Modifier and Type	Method	Description
Bindings	AtomicProposition.unify(Formula other, Bindings bindings)
Bindings	Conjunction.unify(Formula other, Bindings bindings)
Bindings	Disjunction.unify(Formula other, Bindings bindings)
Bindings	Formula.unify(Formula other, Bindings bindings)	Finds the bindings that would be necessary to make this formula the same as another formula (if any exist).
Bindings	Implication.unify(Formula other, Bindings bindings)
Bindings	Negation.unify(Formula other, Bindings bindings)
Bindings	Predication.unify(Formula other, Bindings bindings)
Bindings	Term.unify(Formula other, Bindings bindings)
protected Bindings	BooleanProposition.unifyArguments(Formula other, Bindings bindings)	Unifies this formula's arguments with the arguments of another Boolean proposition.

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

Fields in edu.uky.ai.planning.ps declared as Bindings

Modifier and Type	Field	Description
final Bindings	PlanSpaceNode.bindings	The binding constraints specifying which variables map to which values

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

Modifier and Type	Method	Description
PlanSpaceNode	PlanSpaceNode.expand(ImmutableList<PartialStep> steps, Bindings bindings, DirectedAcyclicGraph<PartialStep> orderings, ImmutableList<CausalLink> causalLinks, ImmutableList<Flaw> flaws)	Creates a child partial plan node (a node for this this node is the parent) with the given steps, bindings, orderings, causal links, and flaws.