Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
B
C
E
G
H
L
M
P
S
T
G
getD1()
- Method in class ca.mcgill.lmp.finite.
Bisim
See bisim().
getDescription()
- Method in class ca.mcgill.lmp.finite.
State
getFormulas()
- Method in class ca.mcgill.lmp.finite.
Bisim
A way to obtain the formulas as a map indexed by the sets of D1 and mapped to the formula in L0 (a String) that all the states in the given set satisfy.
getIndex()
- Method in class ca.mcgill.lmp.finite.
Label
getIndex()
- Method in class ca.mcgill.lmp.finite.
State
getLabels()
- Method in class ca.mcgill.lmp.finite.
LMP
getLumpedLMP()
- Method in class ca.mcgill.lmp.finite.
Bisim
After the execution of bisim(), Bisim has all the infomation required to compute a simplified, "lumped" LMP.
getNumberOfLabels()
- Method in class ca.mcgill.lmp.finite.
LMP
getNumberOfStates()
- Method in class ca.mcgill.lmp.finite.
LMP
getStates()
- Method in class ca.mcgill.lmp.finite.
LMP
getTPM(Label)
- Method in class ca.mcgill.lmp.finite.
LMP
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
B
C
E
G
H
L
M
P
S
T