Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
B
C
D
E
F
G
H
I
L
M
P
S
T