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

V

valueOf(String) - Static method in enum at.jku.risc.stout.nau.algo.DebugLevel

Returns the enum constant of this type with the specified name.

values() - Static method in enum at.jku.risc.stout.nau.algo.DebugLevel

Returns an array containing the constants of this enum type, in the order they are declared.

Variable - Class in at.jku.risc.stout.nau.data.atom

A variable has a unique name and may be of sort data or sort atom.

Variable(String) - Constructor for class at.jku.risc.stout.nau.data.atom.Variable

Instantiates a variable of the specified name.

varSeparator - Static variable in class at.jku.risc.stout.nau.algo.AntiUnifyProblem

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