| Name | Lines |
| void <clinit>() | 100% (1 / 1)
|
| void <init>() | 100% (4 / 4)
|
| int getDate() | 100% (1 / 1)
|
| int index(java.util.Map, com.koalog.jcs.variable.IntegerVariable, com.koalog.jcs.domain.IntegerDomain) | 100% (7 / 7)
|
| boolean isEmpty() | 100% (1 / 1)
|
| int maxDepth() | 100% (1 / 1)
|
| void memorize(com.koalog.jcs.variable.Variable) | 100% (2 / 2)
|
| void memorize(com.koalog.jcs.variable.Variable, com.koalog.jcs.domain.Domain) | 100% (3 / 3)
|
| java.util.Set pop() | 100% (2 / 2)
|
| void prune(com.koalog.jcs.variable.IntegerVariable, com.koalog.jcs.domain.IntegerDomain) | 100% (8 / 8)
|
| void push() | 100% (4 / 4)
|
| void reset() | 100% (5 / 5)
|
| String toString() | 0% (0 / 5)
|