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
K
Kripkestructure
- Class in
de.upb.swt.mcie.mc
Implements a Kripke structure.
Kripkestructure(Context)
- Constructor for class de.upb.swt.mcie.mc.
Kripkestructure
Constructs an empty Kripke structure.
Kripkestructure(Context, ROBDD, ROBDD)
- Constructor for class de.upb.swt.mcie.mc.
Kripkestructure
Constructs a Kripke structure from the provided ROBDDs for the initial condition and the transition relation.
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