|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
Bisim | Bisim encapsulates all the information required to run the bisim() algorithm. |
Label | A representation of a label in a LMP system. |
LMP | A representation of a finite LMP. |
State | A state in a LMP. |
TransitionMatrix | A transition matrix. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |