Package org.jacop.util
Class QueueForward<T extends Constraint>
- java.lang.Object
-
- org.jacop.util.QueueForward<T>
-
public class QueueForward<T extends Constraint> extends java.lang.Object
Utility class that allows for constraints like Xor, Reified, etc that take other constraints as parameters to forward any changes of variables to the constraints that were provided as arguments.- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description java.util.Map<Var,java.util.List<T>>
forwardMap
boolean
isEmpty
-
Constructor Summary
Constructors Constructor Description QueueForward(java.util.Collection<T> constraints, java.util.Collection<Var> variables)
QueueForward(java.util.Collection<T> constraints, Var var)
QueueForward(T[] constraints, java.util.Collection<Var> vars)
QueueForward(T[] constraints, Var[] vars)
QueueForward(T constraint, java.util.Collection<Var> vars)
QueueForward(T constraint, Var var)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
isEmpty()
void
queueForward(int level, Var variable)
-
-
-
Field Detail
-
forwardMap
public final java.util.Map<Var,java.util.List<T extends Constraint>> forwardMap
-
isEmpty
public final boolean isEmpty
-
-
Method Detail
-
isEmpty
public boolean isEmpty()
-
queueForward
public void queueForward(int level, Var variable)
-
-