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
 

B C E G H L M P S T