Package org.jacop.satwrapper.translation
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 java.lang.Object
a node of the double linked list
-
-
Field Summary
Fields Modifier and Type Field Description LazyCpVarDomain.ListNode
left
LazyCpVarDomain.ListNode
right
int
value
int
variable
-
Constructor Summary
Constructors Modifier Constructor Description private
ListNode()
-
-
-
Field Detail
-
left
public LazyCpVarDomain.ListNode left
-
right
public LazyCpVarDomain.ListNode right
-
variable
public int variable
-
value
public int value
-
-