Class BooleanVar


public class BooleanVar
extends IntVar
  • Constructor Details

    • BooleanVar

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

    • getCPtr

      protected static long getCPtr​(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 java.lang.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 java.lang.String baseName()
      Description copied from class: PropagationBaseObject
      Returns a base name for automatic naming.
      Overrides:
      baseName in class PropagationBaseObject
    • rawValue

      public int rawValue()