B C D E F G H I L M P S T

S

State - class ca.mcgill.lmp.finite.State.
A state in a LMP.
State(int) - Constructor for class ca.mcgill.lmp.finite.State
Create a state with the provided index.
State(int, Object) - Constructor for class ca.mcgill.lmp.finite.State
Create a state with the provided index.
size() - Method in class ca.mcgill.lmp.finite.TransitionMatrix
The number of states of the underlying probability space.
split(Set, Label, Set) - Method in class ca.mcgill.lmp.finite.Bisim
split() first sorts all the states in B1 by P_a(b, B2) for b in B1.
states - Variable in class ca.mcgill.lmp.finite.LMP
 

B C D E F G H I L M P S T