| toString() |  | 100% | | 100% | 0 | 4 | 0 | 20 | 0 | 1 |
| applyAC3(List) | | 100% |  | 92% | 1 | 7 | 0 | 19 | 0 | 1 |
| add(Constraint) | | 100% | | 90% | 1 | 6 | 0 | 12 | 0 | 1 |
| isVariableReferenced(Variable) | | 100% | | 100% | 0 | 5 | 0 | 8 | 0 | 1 |
| add(TernaryConstraint) | | 100% | | 75% | 3 | 7 | 0 | 8 | 0 | 1 |
| add(UnsizedConstraint) | | 100% | | 90% | 1 | 6 | 0 | 7 | 0 | 1 |
| Problem() | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| add(BinaryConstraint) | | 100% | | 80% | 2 | 6 | 0 | 7 | 0 | 1 |
| remove(Constraint) | | 100% | | 100% | 0 | 5 | 0 | 8 | 0 | 1 |
| getMostConstraintUnboundVariable() | | 100% | | 75% | 2 | 5 | 0 | 11 | 0 | 1 |
| getMostReducedUnboundVariable() | | 100% | | 88% | 1 | 5 | 0 | 10 | 0 | 1 |
| add(UnaryConstraint) | | 100% | | 88% | 1 | 5 | 0 | 6 | 0 | 1 |
| startSearch() | | 100% | | 75% | 1 | 3 | 0 | 8 | 0 | 1 |
| getFirstUnboundVariable() | | 100% | | 100% | 0 | 4 | 0 | 7 | 0 | 1 |
| applyNC() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| add(Variable) | | 100% | | 83% | 1 | 4 | 0 | 4 | 0 | 1 |
| clear() | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| remove(Variable) | | 100% | | 100% | 0 | 4 | 0 | 5 | 0 | 1 |
| backtrack() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| store() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| backtrackToStackDepth(int) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| getNumberOfConstraints() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| increaseChoicePointsCounter() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| increaseFailsCounter() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| stopSearch() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| applyAC3() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| applyAC3(Variable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isNAryConstraintDeclared(NAryConstraint) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isUnaryConstraintDeclared(UnaryConstraint) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isVariableDeclared(Variable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getNumberOfVariables() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getChoicePointsCounter() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getFailsCounter() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getStackDepth() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |