|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of LMP in ca.mcgill.lmp.finite |
Methods in ca.mcgill.lmp.finite that return LMP | |
LMP |
Bisim.getLumpedLMP()
After the execution of bisim(), Bisim has all the infomation required to compute a simplified, "lumped" LMP. |
Constructors in ca.mcgill.lmp.finite with parameters of type LMP | |
Bisim(LMP lmp)
Create an instance of LMP to lump the given lmp. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |