Class LazyCpVarDomain.ListNode

  • Enclosing class:
    LazyCpVarDomain<E extends IntVar>

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