|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in ca.mcgill.lmp.finite used by ca.mcgill.lmp.finite | |
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 NEXT | FRAMES NO FRAMES |