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

U

unop(int, BigInteger) - Method in class godel.godel1

Applies a unary operator to a term or formula.

Unop(int, BigInteger) - Method in class godel.Godel2

Applies a unary operator to a term or formula.

unop(int, BigInteger) - Method in class godel.Godel3

Encodes the result of the unary operator