| simplify(State) |  | 0% | | 0% | 9 | 9 | 32 | 32 | 1 | 1 |
| makeCanonic(int, Map, Map) | | 0% | | 0% | 9 | 9 | 11 | 11 | 1 | 1 |
| copyPickUpStations(int[][], SymbolicExpression[]) | | 0% | | 0% | 7 | 7 | 11 | 11 | 1 | 1 |
| ImmutableCollectiveSnapshotsEntry(int, SymbolicUniverse) | | 0% | | 0% | 2 | 2 | 16 | 16 | 1 | 1 |
| ImmutableCollectiveSnapshotsEntry(int, SymbolicUniverse, FunctionContract.ContractKind) | | 0% | | 0% | 2 | 2 | 16 | 16 | 1 | 1 |
| insertMonoState(int, ImmutableMonoState, Expression) | | 0% | | 0% | 5 | 5 | 13 | 13 | 1 | 1 |
| copy() | | 0% | | n/a | 1 | 1 | 12 | 12 | 1 | 1 |
| deliverAgreedVariables(int[][], SymbolicExpression[]) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| add2LoopWriteSet(int[], SymbolicExpression) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| getLoopWriteSet() | | 0% | | 0% | 4 | 4 | 2 | 2 | 1 | 1 |
| setMsgBuffers(SymbolicExpression) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| isRecorded(int) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| setLoopWriteSet(Map) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| agreedValueIterator() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| toString() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| setKind(FunctionContract.ContractKind) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| isComplete() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numMonoStates() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| identifier() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numInvolvedProcesses() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getAllAssertions() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getMsgBuffers() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getMaxPid() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getMonoStates() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| contractKind() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |