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.

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