| enabledTransitionsScope1(State) |  | 0% | | 0% | 23 | 23 | 57 | 57 | 1 | 1 |
| ampleProcesses(State) | | 0% | | 0% | 16 | 16 | 50 | 50 | 1 | 1 |
| minimalReachers(State, ArrayList) | | 0% | | 0% | 16 | 16 | 44 | 44 | 1 | 1 |
| checkCorrectness(ArrayList, State) | | 0% | | 0% | 10 | 10 | 26 | 26 | 1 | 1 |
| impactScopesOfProcess(ProcessState, State) | | 0% | | 0% | 10 | 10 | 25 | 25 | 1 | 1 |
| enabledTransitionsScope2(State) | | 0% | | 0% | 4 | 4 | 12 | 12 | 1 | 1 |
| waitDependentProcesses(State, ArrayList, HashSet) | | 0% | | 0% | 8 | 8 | 15 | 15 | 1 | 1 |
| enabledTransitionsPOR(State) | | 0% | | 0% | 6 | 6 | 10 | 10 | 1 | 1 |
| ownerOfScope(int, State, ArrayList) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| ScopedEnabler(TransitionFactory, Evaluator, Executor, boolean, boolean, LibraryLoader) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| locationImpactDyscopeId(State, ProcessState, Location) | | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| isDescendantOf(int, HashSet, State) | | 0% | | 0% | 5 | 5 | 8 | 8 | 1 | 1 |
| statementImpactDyscopeId(State, ProcessState, Statement) | | 0% | | 0% | 4 | 4 | 8 | 8 | 1 | 1 |
| blocked(ProcessState) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| isEnabledWait(State, ProcessState, WaitStatement) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |