Package org.jacop.satwrapper.translation
Class LazyCpVarDomain.ListNode
java.lang.Object
org.jacop.satwrapper.translation.LazyCpVarDomain.ListNode
- Enclosing class:
LazyCpVarDomain<E extends IntVar>
a node of the double linked list
-
Field Summary
FieldsModifier and TypeFieldDescriptionint
int
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
left
-
right
-
variable
public int variable -
value
public int value
-
-
Constructor Details
-
ListNode
private ListNode()
-