Package org.jacop.fz.constraints

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