A B C D E F G H I K L M N O P Q R S T U V W X Z

U

unescapeString(String) - Static method in class ai.krr.KifSymbolAdaptor

This function removes backslash characters from the given String.

unescapeString(String) - Static method in class ai.krr.LispSymbolAdaptor

This function removes backslash characters from the given String.

unify(Atom, Substitution) - Method in class ai.krr.fol.Atom

This function attempts to extend the given Substitution so that this Atom and the given Atom are unified.

unify(Term, Substitution) - Method in class ai.krr.fol.Constant

This function attempts to extend the given Substitution so that this Term and the given Term are unified.

unify(Term, Substitution) - Method in class ai.krr.fol.FunctionTerm

This function attempts to extend the given Substitution so that this FunctionTerm and the given Term are unified.

unify(Variable, Term) - Method in class ai.krr.fol.Instantiation

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.krr.fol.Instantiation

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.krr.fol.Instantiation

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

unify(Literal, Substitution) - Method in class ai.krr.fol.Literal

This function attempts to extend the given Substitution so that this Literal and the given Literal are unified.

unify(Variable, Term) - Method in interface ai.krr.fol.Substitution

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 interface ai.krr.fol.Substitution

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 interface ai.krr.fol.Substitution

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

unify(Term, Substitution) - Method in class ai.krr.fol.Term

This function attempts to extend the given Substitution so that this Term and the given Term are unified.

unify(Term, Substitution) - Method in class ai.krr.fol.Variable

This function attempts to extend the given Substitution so that this Term and the given Term are unified.

unify(Variable, Term) - Method in class ai.krr.fol.VariableRenaming

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.krr.fol.VariableRenaming

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.krr.fol.VariableRenaming

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