Class LazyCpVarDomain.ListNode

java.lang.Object
org.jacop.satwrapper.translation.LazyCpVarDomain.ListNode
Enclosing class:
LazyCpVarDomain<E extends IntVar>

private static final class LazyCpVarDomain.ListNode extends Object
a node of the double linked list