| Name | Lines |
| void <clinit>() | 100% (1 / 1)
|
| void <init>(com.koalog.jcs.constraint.Problem) | 100% (4 / 4)
|
| void backtrack() | 100% (8 / 8)
|
| void clear() | 0% (0 / 4)
|
| java.util.Set deduce() | 100% (1 / 1)
|
| void filter() | 100% (6 / 6)
|
| void findSolutions(int) | 100% (5 / 5)
|
| void findSolutions(long) | 0% (0 / 6)
|
| com.koalog.jcs.choicepoint.ChoicePointStack getChoicePoints() | 0% (0 / 1)
|
| void initCounters() | 100% (6 / 6)
|
| void reset() | 100% (4 / 4)
|
| void resetCounters() | 100% (4 / 4)
|
| void search() | 100% (15 / 15)
|
| void solutionFound() | 100% (5 / 5)
|
| void solved() | 100% (5 / 5)
|
| String toString() | 0% (0 / 1)
|
| void updateProblem(java.util.Set) | 100% (5 / 5)
|