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

U

unBackQuotify(String) - Static method in class com.svincent.moksa.PrologUtil

unDoubleQuotify(String) - Static method in class com.svincent.moksa.PrologUtil

unify(PrologTerm) - Method in class com.svincent.moksa.PrologTerm

Unification algorithm.

unify(PrologTerm, boolean) - Method in class com.svincent.moksa.PrologTerm

Unification algorithm.

unify(PrologTerm, boolean) - Method in class com.svincent.moksa.WamFloat

Unification algorithm.

unify(PrologTerm, boolean) - Method in class com.svincent.moksa.Variable

Unification algorithm.

unify(PrologTerm, boolean) - Method in class com.svincent.moksa.Io.StreamIdentifier

unify(PrologTerm, boolean) - Method in class com.svincent.moksa.WamInteger

Unification algorithm.

unify(PrologTerm, boolean) - Method in class com.svincent.moksa.CompoundTerm

Unification algorithm.

unify(PrologTerm, boolean) - Method in class com.svincent.moksa.JavaTerm

unifyWithoutBindings(PrologTerm) - Method in class com.svincent.moksa.PrologTerm

uniquify(String) - Method in class com.svincent.moksa.Prologc.PrologRuleCompiler

unSingleQuotify(String) - Static method in class com.svincent.moksa.PrologUtil

untrail() - Method in class com.svincent.moksa.PrologTerm

Default behavior for untrailing is to do nothing.

untrail() - Method in class com.svincent.moksa.Wam.ExceptionHandler

Called when the trail is being unwound.

untrail() - Method in class com.svincent.moksa.Variable

Unbinds the Variable

untrail() - Method in interface com.svincent.moksa.Trailable

Called when the trail is being unwound.

unwindTrail() - Method in class com.svincent.moksa.Wam

Unwinds the trail stack, which contains things that need to be undone when a choicepoint occurs.

usageError(PrintWriter, String) - Static method in class com.svincent.moksa.MoksaProlog

user - Variable in class com.svincent.util.CommandLine

The user of this CommandLine.

Util - class com.svincent.util.Util.

The Util class is a useful little thingie which is an equivalent of the java.lang.System class.

Util() - Constructor for class com.svincent.util.Util

A protected no-arg constructor which just prevents people from creating instances of this class.