IntVar

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.

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.

5. final def ##(): Int

   Definition Classes

   AnyRef → Any

6. 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.

7. 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.

8. 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.

9. 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.

10. 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.

11. 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.

12. 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.

13. 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.

14. 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.

15. 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.

16. 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.

17. 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.  

18. 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.

19. 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.

20. 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.

21. 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.

22. 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.

23. 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.

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Any

26. def addDom(arg0: IntDomain): Unit

    Definition Classes

    IntVar

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

    Definition Classes

    IntVar

28. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

29. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

30. def dom(): IntDomain

    Definition Classes

    IntVar → Var

31. def domainHasChanged(arg0: Int): Unit

    Definition Classes

    IntVar → Var

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

    Definition Classes

    IntVar

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

    Definition Classes

    AnyRef

34. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

35. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    Definition Classes

    AnyRef → Any

37. def getSize(): Int

    Definition Classes

    IntVar → Var

38. def hashCode(): Int

    Definition Classes

    AnyRef → Any

39. def id(): String

    Definition Classes

    Var

40. 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.

41. def index(): Int

    Definition Classes

    Var → Backtrackable

42. def isEmpty(): Boolean

    Definition Classes

    IntVar → Var

43. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

44. def level(): Int

    Definition Classes

    IntVar → Var → Backtrackable

45. def max(): Int

    Definition Classes

    IntVar

46. def min(): Int

    Definition Classes

    IntVar

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

    Definition Classes

    AnyRef

48. final def notify(): Unit

    Definition Classes

    AnyRef

49. final def notifyAll(): Unit

    Definition Classes

    AnyRef

50. 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.

51. def putConstraint(arg0: Constraint): Unit

    Definition Classes

    IntVar → Var

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

    Definition Classes

    IntVar → Var

53. def putSearchConstraint(arg0: Constraint): Unit

    Definition Classes

    IntVar → Var

54. def recentDomainPruning(): IntDomain

    Definition Classes

    IntVar

55. def remove(arg0: Int): Unit

    Definition Classes

    IntVar → Backtrackable

56. def removeConstraint(arg0: Constraint): Unit

    Definition Classes

    IntVar → Var

57. def setDomain(arg0: IntDomain): Unit

    Definition Classes

    IntVar

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

    Definition Classes

    IntVar

59. def singleton(): Boolean

    Definition Classes

    IntVar → Var

60. def singleton(arg0: Int): Boolean

    Definition Classes

    IntVar

61. def sizeConstraints(): Int

    Definition Classes

    IntVar → Var

62. def sizeConstraintsOriginal(): Int

    Definition Classes

    IntVar → Var

63. def sizeSearchConstraints(): Int

    Definition Classes

    IntVar → Var

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

    Definition Classes

    AnyRef

65. def toString(): String

    Definition Classes

    IntVar → AnyRef → Any

66. def toStringFull(): String

    Definition Classes

    IntVar → Var

67. def unary_-: IntVar

    Defines unary "-" constraint for IntVar.

    Defines unary "-" constraint for IntVar.

    returns

    the defined constraint.

68. def value(): Int

    Definition Classes

    IntVar

69. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )