Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
X