| play(Object[], boolean[], String[], TransitionChooser, boolean) |   | 69% |   | 67% | 8 | 15 | 13 | 52 | 0 | 1 |
| printStates(int, int, String[], boolean[], Object[]) |  | 0% |  | 0% | 4 | 4 | 10 | 10 | 1 | 1 |
| play(Object, Object, boolean, TransitionChooser, boolean) |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| setLog(ErrorLog) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getPredicate() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getPrintAllStates() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getLog() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| Simulator(StateManager, PrintStream) |  | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| play(Object, TransitionChooser, boolean) |  | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| setPredicate(StatePredicateIF) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setPrintAllStates(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setQuiet(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| isQuiet() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |