Class IntVar

    • Method Detail

      • getName

        public java.lang.String getName()
        Returns the name of the variable given upon creation.
      • getIndex

        public int getIndex()
        Returns the index of the variable in the underlying CpModelProto.
      • displayBounds

        public java.lang.String displayBounds()
        Returns the domain as a string without the enclosing [].
      • getDomain

        public Domain getDomain()
        Returns the domain of the variable.
      • toString

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