Class QueueForward<T extends Constraint>

java.lang.Object
org.jacop.util.QueueForward<T>

public class QueueForward<T extends Constraint> extends 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.9
  • Field Details

    • forwardMap

      public final Map<Var,List<T extends Constraint>> forwardMap
    • isEmpty

      public final boolean isEmpty
  • Constructor Details

    • QueueForward

      public QueueForward(Collection<T> constraints, Collection<Var> variables)
    • QueueForward

      public QueueForward(T[] constraints, Var[] vars)
    • QueueForward

      public QueueForward(T[] constraints, Collection<Var> vars)
    • QueueForward

      public QueueForward(T constraint, Collection<Var> vars)
    • QueueForward

      public QueueForward(Collection<T> constraints, Var var)
    • QueueForward

      public QueueForward(T constraint, Var var)
  • Method Details

    • isEmpty

      public boolean isEmpty()
    • queueForward

      public void queueForward(int level, Var variable)