Uses of Interface
edu.uky.ai.logic.Bindings
Packages that use Bindings
Package
Description
Contains objects for representing logical formulas.
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 BindingsMethods in edu.uky.ai.logic that return BindingsModifier and TypeMethodDescriptionDeclares that two terms must have the same value.Bindings.setNotEqual
(Term t1, Term t2) Declares that two terms must have different values.ListBindings.setNotEqual
(Term t1, Term t2) Finds the bindings that would be necessary to make this formula the same as another formula (if any exist).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 BindingsModifier and TypeMethodDescriptionFinds the bindings that would be necessary to make this formula the same as another formula (if any exist).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 BindingsModifier and TypeFieldDescriptionfinal Bindings
PlanSpaceNode.bindings
The binding constraints specifying which variables map to which valuesMethods in edu.uky.ai.planning.ps with parameters of type BindingsModifier and TypeMethodDescriptionPlanSpaceNode.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.