Class BooleanVar


public class BooleanVar extends IntVar
  • Constructor Details

    • BooleanVar

      public BooleanVar(long cPtr, boolean cMemoryOwn)
  • Method Details

    • getCPtr

      public static long getCPtr(BooleanVar obj)
    • swigRelease

      public 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 long 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
    • toString

      public String toString()
      Overrides:
      toString in class PropagationBaseObject
    • 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
    • isDifferent

      public IntVar isDifferent(long constant)
      Overrides:
      isDifferent in class IntVar
    • isGreaterOrEqual

      public IntVar isGreaterOrEqual(long constant)
      Overrides:
      isGreaterOrEqual in class IntVar
    • isLessOrEqual

      public IntVar isLessOrEqual(long constant)
      Overrides:
      isLessOrEqual in class IntVar
    • restoreValue

      public void restoreValue()
    • baseName

      public String baseName()
      Description copied from class: PropagationBaseObject
      Returns a base name for automatic naming.
      Overrides:
      baseName in class PropagationBaseObject
    • rawValue

      public int rawValue()