IntSet

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. def *(that: IntSet): IntSet

   Set intersection operation on two sets.

   Set intersection operation on two sets.

   that

   set variable.

5. def *(n: Int): IntSet

   Set intersection operation on a set and a set with one value.

   Set intersection operation on a set and a set with one value.

   n

   element of set.

6. def +(that: IntSet): IntSet

   Set union operation on two sets.

   Set union operation on two sets.

   that

   set variable.

7. def +(n: Int): IntSet

   Set union operation on a set and a set with one value.

   Set union operation on a set and a set with one value.

   n

   element of set.

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

10. def \(that: IntSet): IntSet

    Set subtraction operation on a set and a set with one value.

    Set subtraction operation on a set and a set with one value.

    that

    element of set.

11. def \(n: Int): IntSet

    Set subtraction constraint on a set variable and a set of one value.

    Set subtraction constraint on a set variable and a set of one value.

    n

    element of set.

12. def addDom(arg0: IntDomain): Unit

    Definition Classes

    IntervalDomain → IntDomain

13. def addLastElement(arg0: Int): Unit

    Definition Classes

    IntervalDomain

14. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

15. def checkInvariants(): String

    Definition Classes

    IntervalDomain → Domain

16. def clear(): Unit

    Definition Classes

    IntervalDomain → Domain

17. def clone(): IntervalDomain

    Definition Classes

    IntervalDomain → Domain → AnyRef

18. def cloneLight(): IntervalDomain

    Definition Classes

    IntervalDomain → IntDomain → Domain

19. def complement(): IntDomain

    Definition Classes

    IntervalDomain → IntDomain

20. def constraints(): ArrayList[Constraint]

    Definition Classes

    Domain

21. def contains(arg0: Int, arg1: Int): Boolean

    Definition Classes

    IntervalDomain → IntDomain

22. def contains(arg0: Int): Boolean

    Definition Classes

    IntervalDomain → IntDomain

23. def contains(arg0: IntDomain): Boolean

    Definition Classes

    IntervalDomain → IntDomain

24. def domainID(): Int

    Definition Classes

    IntervalDomain → Domain

25. def elementsSmallerThan(arg0: Int): Int

    Definition Classes

    IntDomain

26. def eq(arg0: IntDomain): Boolean

    Definition Classes

    IntervalDomain → IntDomain

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

    Definition Classes

    AnyRef

28. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

29. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

31. def getElementAt(arg0: Int): Int

    Definition Classes

    IntervalDomain → IntDomain

32. def getEventsInclusion(arg0: Int): Array[Int]

    Definition Classes

    IntDomain → Domain

33. def getInterval(arg0: Int): Interval

    Definition Classes

    IntervalDomain → IntDomain

34. def getRandomValue(): Int

    Definition Classes

    IntervalDomain → IntDomain

35. def getSize(): Int

    Definition Classes

    IntervalDomain → IntDomain → Domain

36. def hashCode(): Int

    Definition Classes

    AnyRef → Any

37. def in(arg0: Int, arg1: Var, arg2: IntDomain): Unit

    Definition Classes

    IntervalDomain → IntDomain

38. def in(arg0: Int, arg1: Var, arg2: Int, arg3: Int): Unit

    Definition Classes

    IntervalDomain → IntDomain

39. def in(arg0: Int, arg1: Var, arg2: Domain): Unit

    Definition Classes

    IntDomain → Domain

40. def inComplement(arg0: Int, arg1: Var, arg2: Int, arg3: Int): Unit

    Definition Classes

    IntervalDomain → IntDomain

41. def inComplement(arg0: Int, arg1: Var, arg2: Int): Unit

    Definition Classes

    IntervalDomain → IntDomain

42. def inMax(arg0: Int, arg1: Var, arg2: Int): Unit

    Definition Classes

    IntervalDomain → IntDomain

43. def inMin(arg0: Int, arg1: Var, arg2: Int): Unit

    Definition Classes

    IntervalDomain → IntDomain

44. def inShift(arg0: Int, arg1: Var, arg2: IntDomain, arg3: Int): Unit

    Definition Classes

    IntervalDomain → IntDomain

45. def inValue(arg0: Int, arg1: org.jacop.core.IntVar, arg2: Int): Unit

    Definition Classes

    IntDomain

46. def intersect(arg0: Int, arg1: Int): IntDomain

    Definition Classes

    IntervalDomain → IntDomain

47. def intersect(arg0: IntDomain): IntDomain

    Definition Classes

    IntervalDomain → IntDomain

48. def intersectAdapt(arg0: Int, arg1: Int): Int

    Definition Classes

    IntervalDomain → IntDomain

49. def intersectAdapt(arg0: IntDomain): Int

    Definition Classes

    IntervalDomain → IntDomain

50. def intervalEnumeration(): IntervalEnumeration

    Definition Classes

    IntervalDomain → IntDomain

51. def intervalNo(arg0: Int): Int

    Definition Classes

    IntervalDomain

52. def isEmpty(): Boolean

    Definition Classes

    IntervalDomain → Domain

53. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

54. def isIntersecting(arg0: Int, arg1: Int): Boolean

    Definition Classes

    IntervalDomain → IntDomain

55. def isIntersecting(arg0: IntDomain): Boolean

    Definition Classes

    IntervalDomain → IntDomain

56. def isNumeric(): Boolean

    Definition Classes

    IntervalDomain → Domain

57. def isSparseRepresentation(): Boolean

    Definition Classes

    IntervalDomain → Domain

58. def leftElement(arg0: Int): Int

    Definition Classes

    IntervalDomain → IntDomain

59. def lex(arg0: IntDomain): Int

    Definition Classes

    IntDomain

60. def max(): Int

    Definition Classes

    IntervalDomain → IntDomain

61. def min(): Int

    Definition Classes

    IntervalDomain → IntDomain

62. def multiply(arg0: Int): IntDomain

    Definition Classes

    IntervalDomain

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

    Definition Classes

    AnyRef

64. def nextValue(arg0: Int): Int

    Definition Classes

    IntervalDomain → IntDomain

65. def noConstraints(): Int

    Definition Classes

    IntDomain → Domain

66. def noIntervals(): Int

    Definition Classes

    IntervalDomain → IntDomain

67. def noSearchConstraints(): Int

    Definition Classes

    Domain

68. final def notify(): Unit

    Definition Classes

    AnyRef

69. final def notifyAll(): Unit

    Definition Classes

    AnyRef

70. def previousDomain(): IntDomain

    Definition Classes

    IntervalDomain → IntDomain

71. def previousValue(arg0: Int): Int

    Definition Classes

    IntervalDomain → IntDomain

72. def putModelConstraint(arg0: Int, arg1: Var, arg2: Constraint, arg3: Int): Unit

    Definition Classes

    IntervalDomain → Domain

73. def putSearchConstraint(arg0: Int, arg1: Var, arg2: Constraint): Unit

    Definition Classes

    IntervalDomain → Domain

74. def recentDomainPruning(arg0: Int): IntDomain

    Definition Classes

    IntervalDomain → IntDomain

75. def removeInterval(arg0: Int): Unit

    Definition Classes

    IntervalDomain

76. def removeLevel(arg0: Int, arg1: Var): Unit

    Definition Classes

    IntervalDomain → Domain

77. def removeModelConstraint(arg0: Int, arg1: Var, arg2: Constraint): Unit

    Definition Classes

    IntervalDomain → Domain

78. def removeSearchConstraint(arg0: Int, arg1: Var, arg2: Int, arg3: Constraint): Unit

    Definition Classes

    IntervalDomain → Domain

79. def removeSearchConstraint(arg0: Int, arg1: Var, arg2: Constraint): Unit

    Definition Classes

    IntervalDomain

80. def rightElement(arg0: Int): Int

    Definition Classes

    IntervalDomain → IntDomain

81. def searchConstraints(): ArrayList[Constraint]

    Definition Classes

    Domain

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

    Definition Classes

    IntervalDomain → IntDomain

83. def setDomain(arg0: IntDomain): Unit

    Definition Classes

    IntervalDomain → IntDomain

84. def setStamp(arg0: Int): Unit

    Definition Classes

    Domain

85. def singleton(arg0: Int): Boolean

    Definition Classes

    IntervalDomain → IntDomain

86. def singleton(): Boolean

    Definition Classes

    IntervalDomain → Domain

87. def singleton(arg0: Domain): Boolean

    Definition Classes

    IntDomain → Domain

88. def sizeConstraints(): Int

    Definition Classes

    Domain

89. def sizeConstraintsOriginal(): Int

    Definition Classes

    IntervalDomain → Domain

90. def sizeOfIntersection(arg0: IntDomain): Int

    Definition Classes

    IntervalDomain → IntDomain

91. def stamp(): Int

    Definition Classes

    Domain

92. def subtract(arg0: Int, arg1: Int): IntervalDomain

    Definition Classes

    IntervalDomain → IntDomain

93. def subtract(arg0: IntDomain): IntDomain

    Definition Classes

    IntervalDomain → IntDomain

94. def subtract(arg0: Int): IntDomain

    Definition Classes

    IntervalDomain → IntDomain

95. def subtractAdapt(arg0: Int, arg1: Int): Unit

    Definition Classes

    IntervalDomain → IntDomain

96. def subtractAdapt(arg0: Int): Unit

    Definition Classes

    IntervalDomain → IntDomain

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

    Definition Classes

    AnyRef

98. def toIntArray(): Array[Int]

    Definition Classes

    IntDomain

99. def toString(): String

    Definition Classes

    IntSet → IntervalDomain → Domain → AnyRef → Any

100. def toStringConstraints(): String

     Definition Classes

     IntervalDomain → Domain

101. def toStringFull(): String

     Definition Classes

     IntervalDomain → Domain

102. def toXML(arg0: TransformerHandler): Unit

     Definition Classes

     IntervalDomain

     Annotations

     @throws( classOf[org.xml.sax.SAXException] )

103. def unary_~: IntSet

     Set complement operation on a set.

104. def union(arg0: Int): IntDomain

     Definition Classes

     IntervalDomain → IntDomain

105. def union(arg0: Int, arg1: Int): IntDomain

     Definition Classes

     IntervalDomain → IntDomain

106. def union(arg0: IntDomain): IntDomain

     Definition Classes

     IntervalDomain → IntDomain

107. def unionAdapt(arg0: IntDomain): Int

     Definition Classes

     IntervalDomain → IntDomain

108. def unionAdapt(arg0: Int): Unit

     Definition Classes

     IntervalDomain → IntDomain

109. def unionAdapt(arg0: Int, arg1: Int): Unit

     Definition Classes

     IntervalDomain → IntDomain

110. def unionAdapt(arg0: Interval): Unit

     Definition Classes

     IntervalDomain → IntDomain

111. def value(): Int

     Definition Classes

     IntDomain

112. def valueEnumeration(): ValueEnumeration

     Definition Classes

     IntervalDomain → IntDomain → Domain

113. final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )