IntSet

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def *(that: IntSet): IntSet

   

   Set intersection operation on two sets.

   Set intersection operation on two sets.

   that

   set variable.

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

5. def +(that: IntSet): IntSet

   

   Set union operation on two sets.

   Set union operation on two sets.

   that

   set variable.

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

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

   

   Definition Classes

   AnyRef → Any

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

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

10. def addDom(arg0: IntDomain): Unit

    

    Definition Classes

    IntervalDomain → IntDomain

11. def addLastElement(arg0: Int): Unit

    

    Definition Classes

    IntervalDomain

12. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

13. def checkInvariants(): String

    

    Definition Classes

    IntervalDomain → Domain

14. def clear(): Unit

    

    Definition Classes

    IntervalDomain → Domain

15. def clone(): IntervalDomain

    

    Definition Classes

    IntervalDomain → Domain → AnyRef

16. def cloneLight(): IntervalDomain

    

    Definition Classes

    IntervalDomain → IntDomain → Domain

17. def complement(): IntDomain

    

    Definition Classes

    IntervalDomain → IntDomain

18. def constraints(): List[Constraint]

    

    Definition Classes

    Domain

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

    

    Definition Classes

    IntervalDomain → IntDomain

20. def contains(arg0: Int): Boolean

    

    Definition Classes

    IntervalDomain → IntDomain

21. def contains(arg0: IntDomain): Boolean

    

    Definition Classes

    IntervalDomain → IntDomain

22. def domainID(): Int

    

    Definition Classes

    IntervalDomain → Domain

23. def elementsSmallerThan(arg0: Int): Int

    

    Definition Classes

    IntDomain

24. def eq(arg0: IntDomain): Boolean

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    AnyRef

26. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

27. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

29. def getElementAt(arg0: Int): Int

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntDomain → Domain

31. def getInterval(arg0: Int): Interval

    

    Definition Classes

    IntervalDomain → IntDomain

32. def getPreviousDomain(): IntDomain

    

    Definition Classes

    IntervalDomain → IntDomain

33. def getRandomValue(): Int

    

    Definition Classes

    IntervalDomain → IntDomain

34. def getSize(): Int

    

    Definition Classes

    IntervalDomain → IntDomain → Domain

35. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntDomain → Domain

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

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntDomain

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

    

    Definition Classes

    IntervalDomain → IntDomain

46. def intersect(arg0: IntDomain): IntDomain

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntervalDomain → IntDomain

48. def intersectAdapt(arg0: IntDomain): Int

    

    Definition Classes

    IntervalDomain → IntDomain

49. def intervalEnumeration(): IntervalEnumeration

    

    Definition Classes

    IntervalDomain → IntDomain

50. def intervalNo(arg0: Int): Int

    

    Definition Classes

    IntervalDomain

51. def isEmpty(): Boolean

    

    Definition Classes

    IntervalDomain → Domain

52. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    IntervalDomain → IntDomain

54. def isIntersecting(arg0: IntDomain): Boolean

    

    Definition Classes

    IntervalDomain → IntDomain

55. def isNumeric(): Boolean

    

    Definition Classes

    IntervalDomain → Domain

56. def isSparseRepresentation(): Boolean

    

    Definition Classes

    IntervalDomain → Domain

57. def leftElement(arg0: Int): Int

    

    Definition Classes

    IntervalDomain → IntDomain

58. def lex(arg0: IntDomain): Int

    

    Definition Classes

    IntDomain

59. def max(): Int

    

    Definition Classes

    IntervalDomain → IntDomain

60. def min(): Int

    

    Definition Classes

    IntervalDomain → IntDomain

61. def multiply(arg0: Int): IntDomain

    

    Definition Classes

    IntervalDomain

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

    

    Definition Classes

    AnyRef

63. def nextValue(arg0: Int): Int

    

    Definition Classes

    IntervalDomain → IntDomain

64. def noConstraints(): Int

    

    Definition Classes

    IntDomain → Domain

65. def noIntervals(): Int

    

    Definition Classes

    IntervalDomain → IntDomain

66. def noSearchConstraints(): Int

    

    Definition Classes

    Domain

67. final def notify(): Unit

    

    Definition Classes

    AnyRef

68. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

69. def previousValue(arg0: Int): Int

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntDomain → Domain

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

    

    Definition Classes

    IntDomain → Domain

72. def recentDomainPruning(arg0: Int): IntDomain

    

    Definition Classes

    IntervalDomain → IntDomain

73. def removeInterval(arg0: Int): Unit

    

    Definition Classes

    IntervalDomain

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

    

    Definition Classes

    IntervalDomain → Domain

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

    

    Definition Classes

    IntDomain → Domain

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

    

    Definition Classes

    IntDomain → Domain

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

    

    Definition Classes

    IntDomain

78. def rightElement(arg0: Int): Int

    

    Definition Classes

    IntervalDomain → IntDomain

79. def searchConstraints(): List[Constraint]

    

    Definition Classes

    Domain

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

    

    Definition Classes

    IntervalDomain → IntDomain

81. def setDomain(arg0: IntDomain): Unit

    

    Definition Classes

    IntervalDomain → IntDomain

82. def setStamp(arg0: Int): Unit

    

    Definition Classes

    Domain

83. def singleton(arg0: Int): Boolean

    

    Definition Classes

    IntervalDomain → IntDomain

84. def singleton(): Boolean

    

    Definition Classes

    IntervalDomain → Domain

85. def singleton(arg0: Domain): Boolean

    

    Definition Classes

    IntDomain → Domain

86. def sizeConstraints(): Int

    

    Definition Classes

    Domain

87. def sizeConstraintsOriginal(): Int

    

    Definition Classes

    IntervalDomain → Domain

88. def sizeOfIntersection(arg0: IntDomain): Int

    

    Definition Classes

    IntervalDomain → IntDomain

89. def stamp(): Int

    

    Definition Classes

    Domain

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

    

    Definition Classes

    IntervalDomain → IntDomain

91. def subtract(arg0: IntDomain): IntDomain

    

    Definition Classes

    IntervalDomain → IntDomain

92. def subtract(arg0: Int): IntDomain

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    IntervalDomain → IntDomain

94. def subtractAdapt(arg0: Int): Unit

    

    Definition Classes

    IntervalDomain → IntDomain

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

    

    Definition Classes

    AnyRef

96. def toIntArray(): Array[Int]

    

    Definition Classes

    IntDomain

97. def toString(): String

    

    Definition Classes

    IntSet → IntervalDomain → Domain → AnyRef → Any

98. def toStringConstraints(): String

    

    Definition Classes

    IntervalDomain → Domain

99. def toStringFull(): String

    

    Definition Classes

    IntervalDomain → Domain

100. def unary_~: IntSet

     

     Set complement operation on a set.

101. def union(arg0: Int): IntDomain

     

     Definition Classes

     IntervalDomain → IntDomain

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

     

     Definition Classes

     IntervalDomain → IntDomain

103. def union(arg0: IntDomain): IntDomain

     

     Definition Classes

     IntervalDomain → IntDomain

104. def unionAdapt(arg0: IntDomain): Int

     

     Definition Classes

     IntervalDomain → IntDomain

105. def unionAdapt(arg0: Int): Unit

     

     Definition Classes

     IntervalDomain → IntDomain

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

     

     Definition Classes

     IntervalDomain → IntDomain

107. def unionAdapt(arg0: Interval): Unit

     

     Definition Classes

     IntervalDomain → IntDomain

108. def value(): Int

     

     Definition Classes

     IntDomain

109. def valueEnumeration(): ValueEnumeration

     

     Definition Classes

     IntervalDomain → IntDomain → Domain

110. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )