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
F
f
- Variable in class de.upb.swt.mcie.formulas.
UnaryOp
The subformula.
fair
- Variable in class de.upb.swt.mcie.mc.
FairModel
The set of all states in which a fair path starts.
FairModel
- Class in
de.upb.swt.mcie.mc
Implements a fair model based on some other model.
FairModel(Context)
- Constructor for class de.upb.swt.mcie.mc.
FairModel
Constructs an empty fair Model.
FairModel(Model, ROBDD[])
- Constructor for class de.upb.swt.mcie.mc.
FairModel
Constructs a fair model from some model and from a set of fairness conditions.
fairness
- Variable in class de.upb.swt.mcie.mc.
FairModel
An array of ROBDDs representing the fairness conditions.
FALSE
- Static variable in class de.upb.swt.mcie.parser.
Scanner
The
Pattern
for the constant false.
Formula
- Class in
de.upb.swt.mcie.formulas
Implements the common structure of all formulas.
Formula()
- Constructor for class de.upb.swt.mcie.formulas.
Formula
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