Class ReificationConstraints


  • class ReificationConstraints
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) java.util.Map<IntVar,​java.util.Map<java.lang.Integer,​IntVar>> cs  
      (package private) int minSize  
      (package private) Support support  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add​(IntVar x, int v, IntVar b)  
      (package private) void pose()  
      int size​(IntVar v)  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • cs

        java.util.Map<IntVar,​java.util.Map<java.lang.Integer,​IntVar>> cs
      • minSize

        int minSize
    • Constructor Detail

      • ReificationConstraints

        public ReificationConstraints​(Support support)
    • Method Detail

      • size

        public int size​(IntVar v)
      • pose

        void pose()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object