| Name | Lines |
| void <clinit>() | 100% (4 / 4)
|
| void <init>(com.koalog.jcs.variable.IntegerVariable[]) | 100% (7 / 7)
|
| void applyContractor(com.koalog.jcs.choicepoint.ChoicePointStack, java.util.Set, int, int) | 100% (7 / 7)
|
| void contractLB(com.koalog.jcs.choicepoint.ChoicePointStack, java.util.Set) | 100% (15 / 15)
|
| void contractUB(com.koalog.jcs.choicepoint.ChoicePointStack, java.util.Set) | 100% (15 / 15)
|
| java.util.Set filter(com.koalog.jcs.choicepoint.ChoicePointStack) | 100% (9 / 9)
|
| void updateConstraints() | 100% (3 / 3)
|