de.sciss.poirot

BooleanVar

class BooleanVar extends IntVar

Defines a boolean variable and its primitive constraints.

Linear Supertypes
IntVar, org.jacop.core.IntVar, Var, Backtrackable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. BooleanVar
  2. IntVar
  3. IntVar
  4. Var
  5. Backtrackable
  6. AnyRef
  7. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. def #!=(that: Int): PrimitiveConstraint

    Defines inequality constraint between IntVar and integer constant.

    Defines inequality constraint between IntVar and integer constant.

    that

    a second parameter for inequality constraint.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  4. def #!=(that: IntVar): PrimitiveConstraint

    Defines inequality constraint between two IntVar.

    Defines inequality constraint between two IntVar.

    that

    a second parameter for inequality constraint.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  5. final def ##(): Int

    Definition Classes
    AnyRef → Any

  6. def #->(thenConstr: PrimitiveConstraint): Constraint

    Defines an implication constraint.

    Defines an implication constraint.

    Note: this assumes that the thenConstr posts to the model. The method then removes that posted constraint and replaced it by an amended version. XXX TODO: this is ugly. A better solution would be to have thenConstr be a call-by-name parameter and push a temporary model instead?

    thenConstr

    a primitive constraint that will hold if this variable is 1.

    returns

    the defined constraint.

  7. def #<(that: Int): PrimitiveConstraint

    Defines "less than" constraint between IntVar and integer constant.

    Defines "less than" constraint between IntVar and integer constant.

    that

    a second parameter for "less than" constraint.

    returns

    the equation constraint.

    Definition Classes
    IntVar

  8. def #<(that: IntVar): PrimitiveConstraint

    Defines "less than" constraint between two IntVar.

    Defines "less than" constraint between two IntVar.

    that

    a second parameter for "less than" constraint.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  9. def #<->(reifC: PrimitiveConstraint): Constraint

    Defines a reified constraint.

    Defines a reified constraint.

    Note: this assumes that the thenConstr posts to the model. The method then removes that posted constraint and replaced it by an amended version. XXX TODO: this is ugly. A better solution would be to have thenConstr be a call-by-name parameter and push a temporary model instead?

    reifC

    a primitive constraint that is used in reification.

    returns

    the defined constraint.

  10. def #<=(that: Int): PrimitiveConstraint

    Defines "less than or equal" constraint between IntVar and integer constant.

    Defines "less than or equal" constraint between IntVar and integer constant.

    that

    a second parameter for "less than or equal" constraint.

    returns

    the equation constraint.

    Definition Classes
    IntVar

  11. def #<=(that: IntVar): PrimitiveConstraint

    Defines "less than or equal" constraint between two IntVar.

    Defines "less than or equal" constraint between two IntVar.

    that

    a second parameter for "less than or equal" constraint.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  12. def #=(that: Boolean): PrimitiveConstraint

    Defines equation constraint a BoolVar and a integer value.

    Defines equation constraint a BoolVar and a integer value.

    that

    a second parameter for equation constraint.

    returns

    the defined constraint.

  13. def #=(that: BooleanVar): PrimitiveConstraint

    Defines equation constraint between two BoolVar.

    Defines equation constraint between two BoolVar.

    that

    a second parameter for equation constraint.

    returns

    the defined constraint.

  14. def #=(that: Int): PrimitiveConstraint

    Defines equation constraint between IntVar and a integer constant.

    Defines equation constraint between IntVar and a integer constant.

    that

    a second parameter for equation constraint.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  15. def #=(that: IntVar): PrimitiveConstraint

    Defines equation constraint between two IntVar.

    Defines equation constraint between two IntVar.

    that

    a second parameter for equation constraint.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  16. def #>(that: Int): PrimitiveConstraint

    Defines "greater than" constraint between IntVar and integer constant.

    Defines "greater than" constraint between IntVar and integer constant.

    that

    a second parameter for "greater than" constraint.

    returns

    the equation constraint.

    Definition Classes
    IntVar

  17. def #>(that: IntVar): PrimitiveConstraint

    Defines "greater than" constraint between two IntVar.

    Defines "greater than" constraint between two IntVar.

    that

    a second parameter for "greater than" constraint.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  18. def #>=(that: Int): PrimitiveConstraint

    Defines "greater than or equal" constraint between IntVar and integer constant.

    Defines "greater than or equal" constraint between IntVar and integer constant.

    that

    a second parameter for "greater than or equal" constraint.

    returns

    the equation constraint.

    Definition Classes
    IntVar

  19. def #>=(that: IntVar): PrimitiveConstraint

    Defines "greater than or equal" constraint between two IntVar.

    Defines "greater than or equal" constraint between two IntVar.

    that

    a second parameter for "greater than or equal" constraint.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  20. def %(that: IntVar): IntVar

    Defines constraint for integer reminder from division between two IntVar.

    Defines constraint for integer reminder from division between two IntVar.

    that

    a second parameter for integer reminder from division constraint.

    returns

    IntVar variable being the result of the integer reminder from division constraint.

    Definition Classes
    IntVar

  21. def &(that: BooleanVar): BooleanVar

    Defines logical and (conjunction) constraint between two BoolVar.

    Defines logical and (conjunction) constraint between two BoolVar.

    that

    a second parameter for equation constraint.

    returns

    the defined constraint.

  22. def *(that: Int): IntVar

    Defines multiplication constraint between IntVar and an integer value.

    Defines multiplication constraint between IntVar and an integer value.

    that

    a second integer parameter for the multiplication constraint.

    returns

    IntVar variable being the result of the multiplication constraint.  

    Definition Classes
    IntVar

  23. def *(that: IntVar): IntVar

    Defines multiplication constraint between two IntVar.

    Defines multiplication constraint between two IntVar.

    that

    a second parameter for the multiplication constraint.

    returns

    IntVar variable being the result of the multiplication constraint.

    Definition Classes
    IntVar

  24. def +(that: Int): IntVar

    Defines add constraint between IntVar and an integer value.

    Defines add constraint between IntVar and an integer value.

    that

    a second integer parameter for the addition constraint.

    returns

    IntVar variable being the result of the addition constraint.

    Definition Classes
    IntVar

  25. def +(that: IntVar): IntVar

    Defines add constraint between two IntVar.

    Defines add constraint between two IntVar.

    that

    a second parameter for the addition constraint.

    returns

    IntVar variable being the result of the addition constraint.

    Definition Classes
    IntVar

  26. def -(that: Int): IntVar

    Defines subtract constraint between IntVar and an integer value.

    Defines subtract constraint between IntVar and an integer value.

    that

    a second integer parameter for the subtraction constraint.

    returns

    IntVar variable being the result of the subtraction constraint.

    Definition Classes
    IntVar

  27. def -(that: IntVar): IntVar

    Defines subtract constraint between two IntVar.

    Defines subtract constraint between two IntVar.

    that

    a second parameter for the subtraction constraint.

    returns

    IntVar variable being the result of the subtraction constraint.

    Definition Classes
    IntVar

  28. def /(that: IntVar): IntVar

    Defines integer division constraint between two IntVar.

    Defines integer division constraint between two IntVar.

    that

    a second parameter for the integer division constraint.

    returns

    IntVar variable being the result of the integer division constraint.

    Definition Classes
    IntVar

  29. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  30. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  31. def ^(that: BooleanVar): BooleanVar

    Defines logical exclusive or constraint between two BoolVar.

    Defines logical exclusive or constraint between two BoolVar.

    that

    a second parameter for equation constraint.

    returns

    the defined constraint.

  32. def addDom(arg0: IntDomain): Unit

    Definition Classes
    IntVar

  33. def addDom(arg0: Int, arg1: Int): Unit

    Definition Classes
    IntVar

  34. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  35. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  36. def dom(): IntDomain

    Definition Classes
    IntVar → Var

  37. def domainHasChanged(arg0: Int): Unit

    Definition Classes
    IntVar → Var

  38. def eq(arg0: org.jacop.core.IntVar): Boolean

    Definition Classes
    IntVar

  39. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  40. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  41. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  42. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  43. def getSize(): Int

    Definition Classes
    IntVar → Var

  44. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  45. def id(): String

    Definition Classes
    Var

  46. def in(that: SetVar): PrimitiveConstraint

    Defines constraint on inclusion of a IntVar variable value in a set.

    Defines constraint on inclusion of a IntVar variable value in a set.

    that

    set that this variable's value must be included.

    returns

    the equation constraint.

    Definition Classes
    IntVar

  47. def index(): Int

    Definition Classes
    Var → Backtrackable

  48. def isEmpty(): Boolean

    Definition Classes
    IntVar → Var

  49. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  50. def level(): Int

    Definition Classes
    IntVar → Var → Backtrackable

  51. def max(): Int

    Definition Classes
    IntVar

  52. def min(): Int

    Definition Classes
    IntVar

  53. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  54. final def notify(): Unit

    Definition Classes
    AnyRef

  55. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  56. def pow(that: IntVar): IntVar

    Defines exponentiation constraint between two IntVar.

    Defines exponentiation constraint between two IntVar.

    that

    exponent for the exponentiation constraint.

    returns

    IntVar variable being the result of the exponentiation constraint.

    Definition Classes
    IntVar

  57. def putConstraint(arg0: Constraint): Unit

    Definition Classes
    IntVar → Var

  58. def putModelConstraint(arg0: Constraint, arg1: Int): Unit

    Definition Classes
    IntVar → Var

  59. def putSearchConstraint(arg0: Constraint): Unit

    Definition Classes
    IntVar → Var

  60. def recentDomainPruning(): IntDomain

    Definition Classes
    IntVar

  61. def remove(arg0: Int): Unit

    Definition Classes
    IntVar → Backtrackable

  62. def removeConstraint(arg0: Constraint): Unit

    Definition Classes
    IntVar → Var

  63. def setDomain(arg0: IntDomain): Unit

    Definition Classes
    IntVar

  64. def setDomain(arg0: Int, arg1: Int): Unit

    Definition Classes
    IntVar

  65. def singleton(): Boolean

    Definition Classes
    IntVar → Var

  66. def singleton(arg0: Int): Boolean

    Definition Classes
    IntVar

  67. def sizeConstraints(): Int

    Definition Classes
    IntVar → Var

  68. def sizeConstraintsOriginal(): Int

    Definition Classes
    IntVar → Var

  69. def sizeSearchConstraints(): Int

    Definition Classes
    IntVar → Var

  70. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  71. def toString(): String

    Definition Classes
    IntVar → AnyRef → Any

  72. def toStringFull(): String

    Definition Classes
    IntVar → Var

  73. def unary_-: IntVar

    Defines unary "-" constraint for IntVar.

    Defines unary "-" constraint for IntVar.

    returns

    the defined constraint.

    Definition Classes
    IntVar

  74. def unary_~: BooleanVar

    Defines logical negation constraint for BoolVar.

    Defines logical negation constraint for BoolVar.

    returns

    boolean variable that is the result for this constraint.

  75. def value(): Int

    Definition Classes
    IntVar

  76. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  77. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  78. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  79. def |(that: BooleanVar): BooleanVar

    Defines logical or (disjunction) constraint between two BoolVar.

    Defines logical or (disjunction) constraint between two BoolVar.

    that

    a second parameter for equation constraint.

    returns

    the defined constraint.

Inherited from IntVar

Inherited from org.jacop.core.IntVar

Inherited from Var

Inherited from Backtrackable

Inherited from AnyRef

Inherited from Any

Ungrouped