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
P
Pr(State, State)
- Method in class ca.mcgill.lmp.finite.
TransitionMatrix
Pr(State, Collection)
- Method in class ca.mcgill.lmp.finite.
TransitionMatrix
partitionUnion(Set, Set, Set)
- Method in class ca.mcgill.lmp.finite.
Bisim
The set lumpedState in the set of sets lumpedStates is split according to the binary partition induce by the set partition.
printUsage()
- Static method in class ca.mcgill.lmp.finite.
Bisim
Print in System.err a description of the functionalities of main().
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