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
O
op
- Variable in class de.upb.swt.mcie.formulas.
BinaryOp
The code of the binary operation as defined by the constants in this class.
op
- Variable in class de.upb.swt.mcie.formulas.
UnaryOp
The code of the operation.
op
- Variable in class de.upb.swt.mcie.parser.token.
BinOp
The operation (ie its encoding according to
BinaryOp
).
op
- Variable in class de.upb.swt.mcie.parser.token.
UnOp
The operation (resp. its encoding
UnaryOp
).
OPEN
- Static variable in class de.upb.swt.mcie.parser.token.
Brack
The code for an opening bracket.
OR
- Static variable in class de.upb.swt.mcie.formulas.
BinaryOp
Code for the OR operation.
OR
- Static variable in class de.upb.swt.mcie.parser.
Scanner
The
Pattern
for the OR operation.
or
- Variable in class de.upb.swt.mcie.robdds.
Context
The or operation in this context.
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