Uses of Class
ca.mcgill.lmp.finite.LMP

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.