A C D E F G H I L M N O P R S T U V W

U

ugneffs - Variable in class ai.planning.strips.Goal.UgConditions

ugnprecs - Variable in class ai.planning.strips.Goal.UgConditions

ugpeffs - Variable in class ai.planning.strips.Goal.UgConditions

ugpprecs - Variable in class ai.planning.strips.Goal.UgConditions

unify(Variable, Term) - Method in class ai.planning.strips.ActionType.ArrayGrounding

This function attempts to extend this Substitution such that the given Variable (from the "left" expression) and the given Term (from the "right") are unified and returns whether this succeeded.

unify(Term, Variable) - Method in class ai.planning.strips.Grounding

This function attempts to extend this Substitution such that the given Variable (from the "right" expression) and the given Term (from the "left") are unified and returns whether this succeeded.

unify(Variable, Variable) - Method in class ai.planning.strips.Grounding

This function attempts to extend this Substitution such that the given Variables will be unified and returns true if this was possible.

useExtension(Extension) - Method in class ai.planning.strips.Domain

This function add the given extension to this Domain.