| canonic(CollectiveRecordIF) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| add(MorphicSet, VariableReferenceValueIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| newVariableSet(LinkedHashSet) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| computePathCondition(MorphicVector) |  | 92% | | 75% | 2 | 5 | 0 | 9 | 0 | 1 |
| newVariableSet() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| variableSetFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| values(StateIF) | | 100% | | 93% | 1 | 8 | 0 | 20 | 0 | 1 |
| StateFactory(ModelSequence, DynamicFactoryIF) | | 100% | | n/a | 0 | 1 | 0 | 16 | 0 | 1 |
| canonic(StateIF) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| state(ModelStateIF[], ValueIF, MorphicVector) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| canonicalizeChildren(StateIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| collectiveLoopRecord(CollectiveAssertionIF, MorphicArray, ValueIF, ValueIF, MorphicArray, boolean) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectiveRecord(CollectiveAssertionIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symbolicConstants(StateIF) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| simplifier(boolean) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectiveRecord(CollectiveAssertionIF, MorphicArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numStates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| variableSetArrayFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| useLoopTechnique() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dynamicFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| modelStateFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| recordFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| queueFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| processStateArrayFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |