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
T
TransitionMatrix
- class ca.mcgill.lmp.finite.
TransitionMatrix
.
A transition matrix.
TransitionMatrix(String)
- Constructor for class ca.mcgill.lmp.finite.
TransitionMatrix
Create a new transition probabilities based on a String description.
TransitionMatrix(double[][])
- Constructor for class ca.mcgill.lmp.finite.
TransitionMatrix
Create a new transition probability matrix with the provided probabilities.
target
- Variable in class ca.mcgill.lmp.finite.
Bisim.ProbabilityComparator
toString()
- Method in class ca.mcgill.lmp.finite.
LMP
toString()
- Method in class ca.mcgill.lmp.finite.
Label
toString()
- Method in class ca.mcgill.lmp.finite.
State
toString()
- Method in class ca.mcgill.lmp.finite.
TransitionMatrix
transitionMatrices
- Variable in class ca.mcgill.lmp.finite.
LMP
transitionProbabilities
- Variable in class ca.mcgill.lmp.finite.
TransitionMatrix
The matrix of probabilities.
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