Class BooleanVar


  • public class BooleanVar
    extends IntVar
    • Constructor Detail

      • BooleanVar

        protected BooleanVar​(long cPtr,
                             boolean cMemoryOwn)
    • Method Detail

      • getCPtr

        protected static long getCPtr​(BooleanVar obj)
      • swigRelease

        protected static long swigRelease​(BooleanVar obj)
      • finalize

        protected void finalize()
        Overrides:
        finalize in class IntVar
      • delete

        public void delete()
        Overrides:
        delete in class IntVar
      • getKUnboundBooleanVarValue

        public static int getKUnboundBooleanVarValue()
      • min

        public long min()
        Overrides:
        min in class IntExpr
      • setMin

        public void setMin​(long m)
        Overrides:
        setMin in class IntExpr
      • max

        public long max()
        Overrides:
        max in class IntExpr
      • setMax

        public void setMax​(long m)
        Overrides:
        setMax in class IntExpr
      • setRange

        public void setRange​(long mi,
                             long ma)
        Description copied from class: IntExpr
        This method sets both the min and the max of the expression.
        Overrides:
        setRange in class IntExpr
      • bound

        public boolean bound()
        Description copied from class: IntExpr
        Returns true if the min and the max of the expression are equal.
        Overrides:
        bound in class IntExpr
      • value

        public long value()
        Description copied from class: IntVar
        This method returns the value of the variable. This method checks
        before that the variable is bound.
        Overrides:
        value in class IntVar
      • removeValue

        public void removeValue​(long v)
        Description copied from class: IntVar
        This method removes the value 'v' from the domain of the variable.
        Overrides:
        removeValue in class IntVar
      • removeInterval

        public void removeInterval​(long l,
                                   long u)
        Description copied from class: IntVar
        This method removes the interval 'l' .. 'u' from the domain of
        the variable. It assumes that 'l' <= 'u'.
        Overrides:
        removeInterval in class IntVar
      • whenBound

        public void whenBound​(Demon d)
        Description copied from class: IntVar
        This method attaches a demon that will be awakened when the
        variable is bound.
        Overrides:
        whenBound in class IntVar
      • whenRange

        public void whenRange​(Demon d)
        Description copied from class: IntExpr
        Attach a demon that will watch the min or the max of the expression.
        Overrides:
        whenRange in class IntExpr
      • whenDomain

        public void whenDomain​(Demon d)
        Description copied from class: IntVar
        This method attaches a demon that will watch any domain
        modification of the domain of the variable.
        Overrides:
        whenDomain in class IntVar
      • size

        public java.math.BigInteger size()
        Description copied from class: IntVar
        This method returns the number of values in the domain of the variable.
        Overrides:
        size in class IntVar
      • contains

        public boolean contains​(long v)
        Description copied from class: IntVar
        This method returns whether the value 'v' is in the domain of the
        variable.
        Overrides:
        contains in class IntVar
      • makeHoleIterator

        public IntVarIterator makeHoleIterator​(boolean reversible)
        Description copied from class: IntVar
        Creates a hole iterator. When 'reversible' is false, the returned
        object is created on the normal C++ heap and the solver does NOT
        take ownership of the object.
        Overrides:
        makeHoleIterator in class IntVar
      • makeDomainIterator

        public IntVarIterator makeDomainIterator​(boolean reversible)
        Description copied from class: IntVar
        Creates a domain iterator. When 'reversible' is false, the
        returned object is created on the normal C++ heap and the solver
        does NOT take ownership of the object.
        Overrides:
        makeDomainIterator in class IntVar
      • varType

        public int varType()
        Overrides:
        varType in class IntVar
      • isEqual

        public IntVar isEqual​(long constant)
        Description copied from class: IntVar
        IsEqual
        Overrides:
        isEqual in class IntVar
      • restoreValue

        public void restoreValue()
      • rawValue

        public int rawValue()