| DporStackEntry(StateManager, DporNode) |  | 0% | | 0% | 2 | 2 | 15 | 15 | 1 | 1 |
| nextProc(StateManager) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| nextTransitionInProc() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| addAllToBacktrack(Collection) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| nextTransition(StateManager) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| isDone() | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| initializeTransitions(Collection) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| getPid() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| addToBacktrack(int) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| inBacktrack(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getState() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getStackPosition() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getPrevStackPosition() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getHbSet() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setTransitionData(DporTransitionData) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| currentTransition() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getTid() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getNode() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getTransitionData() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |