| addSet(CharClasses, IntCharSet, int) |  | 0% |  | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| addString(CharClasses, String, int) |  | 0% |  | 0% | 3 | 3 | 10 | 10 | 1 | 1 |
| addSetComplement(CharClasses, IntCharSet) |  | 0% |  | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| addSetParts(CharClasses, IntCharSet) |  | 0% |  | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| classCodesUnion(CharClasses) |  | 0% |  | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| classCodesCode(CharClasses) |  | 0% |  | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| classCodesDisjointOrdered(CharClasses) |  | 0% |  | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| translateFlat(Pair, int) |  | 0% |  | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| addSingle(CharClasses, int, int) |  | 0% |  | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| normaliseSingle(CharClasses, int) |  | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| computeTablesEq(CharClasses, ArrayList) |  | 0% |  | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| getTablesEq(CharClasses, ArrayList) |  | 0% |  | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| translateBlocks(Pair, int) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| addSingleSingleton(CharClasses, int) |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| maxCharCode(CharClasses) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| invariants(CharClasses) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| CharClassesQuickcheck() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |