Class QueueForward<T extends Constraint>


  • 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  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean isEmpty()  
      void queueForward​(int level, Var variable)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • forwardMap

        public final java.util.Map<Var,​java.util.List<T extends Constraint>> forwardMap
      • isEmpty

        public final boolean isEmpty
    • Constructor Detail

      • QueueForward

        public QueueForward​(java.util.Collection<T> constraints,
                            java.util.Collection<Var> variables)
      • QueueForward

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

        public QueueForward​(T[] constraints,
                            java.util.Collection<Var> vars)
      • QueueForward

        public QueueForward​(T constraint,
                            java.util.Collection<Var> vars)
      • QueueForward

        public QueueForward​(java.util.Collection<T> constraints,
                            Var var)
      • QueueForward

        public QueueForward​(T constraint,
                            Var var)
    • Method Detail

      • isEmpty

        public boolean isEmpty()
      • queueForward

        public void queueForward​(int level,
                                 Var variable)