| tryNextState(Integer, String) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| printStateShort(PrintStream, Integer) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| printStateLong(PrintStream, Integer) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| printTransitionShort(PrintStream, String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| printTransitionLong(PrintStream, String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| printAllStatesShort(PrintStream) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| printAllStatesLong(PrintStream) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getId(Integer) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getPid(String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getEnabledProcesses(Integer) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getLiveProcesses(Integer) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getTransitions(Integer, int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| debug(Integer, List) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| printTraceStep(Integer, TraceStepIF) |  | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| nextState(Integer, String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| SimpleStateManager(MatrixDirectedGraph) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| printTraceStepFinalState(Integer, int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| normalize(TraceStepIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |