| 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 |
| 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 |