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

U

UnaryOp - Class in de.upb.swt.mcie.formulas
Implements the unary operation in a formula.
UnaryOp(int, Formula) - Constructor for class de.upb.swt.mcie.formulas.UnaryOp
Constructs a unary operation from the code of the operation and its subformula.
UNKNOWN_NODE_TYPE - Static variable in exception de.upb.swt.mcie.robdds.InternalError
Error number: This error indicates that, during some operation on ROBDDs, an unknown node type (an instance of some unknown subclass of ROBDD) was encountered, and the operation can not deal with this node.
UNKNOWN_OPERATION_IN_FORMULA - Static variable in exception de.upb.swt.mcie.formulas.IncorrectUseException
It was tried to evaluate a formula with an unknown operator.
UnOp - Class in de.upb.swt.mcie.parser.token
Implements the token for an unary operation.
UnOp(int) - Constructor for class de.upb.swt.mcie.parser.token.UnOp
Constructs a token for the given operation.

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