| makeMarkov | Test.StateMachine.Markov, Test.StateMachine |
| makeOperations | Test.StateMachine.Types.History, Test.StateMachine.Types |
| Markov | Test.StateMachine.Markov, Test.StateMachine |
| markovGenerator | Test.StateMachine.Markov, Test.StateMachine |
| markovToDot | Test.StateMachine.Markov, Test.StateMachine |
| markovToPs | Test.StateMachine.Markov, Test.StateMachine |
| maximum | Test.StateMachine.Labelling |
| Member | Test.StateMachine.Logic, Test.StateMachine |
| member | Test.StateMachine.Logic, Test.StateMachine |
| mkModel | Test.StateMachine.Utils |
| mock | Test.StateMachine.Types |
| MockHandle | |
| 1 (Type/Class) | Test.StateMachine.Lockstep.NAry |
| 2 (Type/Class) | Test.StateMachine.Lockstep.Simple |
| MockSemanticsMismatch | Test.StateMachine.Types, Test.StateMachine |
| MockState | Test.StateMachine.Lockstep.NAry, Test.StateMachine.Lockstep.Simple |
| Model | |
| 1 (Type/Class) | Test.StateMachine.Lockstep.NAry |
| 2 (Data Constructor) | Test.StateMachine.Lockstep.NAry |
| 3 (Type/Class) | Test.StateMachine.Lockstep.Simple |
| 4 (Data Constructor) | Test.StateMachine.Lockstep.Simple |
| modelRefs | Test.StateMachine.Lockstep.Simple |
| modelRefss | Test.StateMachine.Lockstep.NAry |
| modelState | |
| 1 (Function) | Test.StateMachine.Lockstep.NAry |
| 2 (Function) | Test.StateMachine.Lockstep.Simple |
| MustShrink | Test.StateMachine.Sequential |