Class

cspom.xcsp

XCSP3Callbacks

Related Doc: package xcsp

Permalink

class XCSP3Callbacks extends XCallbacks2

Linear Supertypes
XCallbacks2, XCallbacks, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. XCSP3Callbacks
  2. XCallbacks2
  3. XCallbacks
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new XCSP3Callbacks()

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def beginArray(arg0: XArray): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  6. def beginBlock(arg0: XBlock): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  7. def beginConstraints(arg0: List[CEntry]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  8. def beginGroup(arg0: XGroup): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  9. def beginInstance(arg0: TypeFramework): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  10. def beginObjectives(arg0: List[OEntry], arg1: TypeCombination): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  11. def beginSlide(arg0: XSlide): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  12. def beginVariables(arg0: List[VEntry]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  13. def buildCtrAllDifferent(id: String, x: Array[XVarInteger]): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  14. def buildCtrAllDifferent(arg0: String, arg1: Array[XVarSymbolic]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  15. def buildCtrAllDifferentExcept(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  16. def buildCtrAllDifferentList(arg0: String, arg1: Array[Array[XVarInteger]]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  17. def buildCtrAllDifferentMatrix(arg0: String, arg1: Array[Array[XVarInteger]]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  18. def buildCtrAllEqual(arg0: String, arg1: Array[XVarInteger]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  19. def buildCtrAmong(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: XVarInteger): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  20. def buildCtrAmong(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Int): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  21. def buildCtrAtLeast(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: Int): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  22. def buildCtrAtMost(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: Int): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  23. def buildCtrCardinality(arg0: String, arg1: Array[XVarInteger], arg2: Boolean, arg3: Array[XVarInteger], arg4: Array[Int], arg5: Array[Int]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  24. def buildCtrCardinality(arg0: String, arg1: Array[XVarInteger], arg2: Boolean, arg3: Array[XVarInteger], arg4: Array[Int]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  25. def buildCtrCardinality(arg0: String, arg1: Array[XVarInteger], arg2: Boolean, arg3: Array[XVarInteger], arg4: Array[XVarInteger]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  26. def buildCtrCardinality(arg0: String, arg1: Array[XVarInteger], arg2: Boolean, arg3: Array[Int], arg4: Array[Int], arg5: Array[Int]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  27. def buildCtrCardinality(arg0: String, arg1: Array[XVarInteger], arg2: Boolean, arg3: Array[Int], arg4: Array[Int]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  28. def buildCtrCardinality(arg0: String, arg1: Array[XVarInteger], arg2: Boolean, arg3: Array[Int], arg4: Array[XVarInteger]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  29. def buildCtrChannel(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: XVarInteger): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  30. def buildCtrChannel(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: Array[XVarInteger], arg4: Int): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  31. def buildCtrChannel(arg0: String, arg1: Array[XVarInteger], arg2: Int): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  32. def buildCtrClause(arg0: String, arg1: Array[XVarInteger], arg2: Array[XVarInteger]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  33. def buildCtrCount(arg0: String, arg1: Array[XVarInteger], arg2: Array[XVarInteger], arg3: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  34. def buildCtrCount(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  35. def buildCtrCumulative(arg0: String, arg1: Array[XVarInteger], arg2: Array[XVarInteger], arg3: Array[XVarInteger], arg4: Array[XVarInteger], arg5: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  36. def buildCtrCumulative(arg0: String, arg1: Array[XVarInteger], arg2: Array[XVarInteger], arg3: Array[XVarInteger], arg4: Array[Int], arg5: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  37. def buildCtrCumulative(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Array[XVarInteger], arg4: Array[XVarInteger], arg5: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  38. def buildCtrCumulative(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Array[XVarInteger], arg4: Array[Int], arg5: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  39. def buildCtrCumulative(arg0: String, arg1: Array[XVarInteger], arg2: Array[XVarInteger], arg3: Array[XVarInteger], arg4: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  40. def buildCtrCumulative(arg0: String, arg1: Array[XVarInteger], arg2: Array[XVarInteger], arg3: Array[Int], arg4: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  41. def buildCtrCumulative(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Array[XVarInteger], arg4: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  42. def buildCtrCumulative(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Array[Int], arg4: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  43. def buildCtrElement(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: XVarInteger, arg4: TypeRank, arg5: Int): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  44. def buildCtrElement(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: XVarInteger, arg4: TypeRank, arg5: XVarInteger): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  45. def buildCtrElement(arg0: String, arg1: Array[XVarInteger], arg2: Int): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  46. def buildCtrElement(arg0: String, arg1: Array[XVarInteger], arg2: XVarInteger): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  47. def buildCtrExactly(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: XVarInteger): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  48. def buildCtrExactly(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: Int): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  49. def buildCtrExtension(id: String, x: XVarInteger, values: Array[Int], positive: Boolean, flags: Set[TypeFlag]): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  50. def buildCtrExtension(id: String, list: Array[XVarInteger], tuples: Array[Array[Int]], positive: Boolean, flags: Set[TypeFlag]): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  51. def buildCtrExtension(arg0: String, arg1: Array[XVarSymbolic], arg2: Array[Array[String]], arg3: Boolean, arg4: Set[TypeFlag]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  52. def buildCtrExtension(arg0: String, arg1: XVarSymbolic, arg2: Array[String], arg3: Boolean, arg4: Set[TypeFlag]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  53. def buildCtrFalse(arg0: String, arg1: Array[XVar]): Unit

    Permalink
    Definition Classes
    XCallbacks
  54. def buildCtrInstantiation(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  55. def buildCtrIntension(arg0: String, arg1: Array[XVarSymbolic], arg2: XNodeParent): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  56. def buildCtrIntension(arg0: String, arg1: Array[XVarInteger], arg2: XNodeParent): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  57. def buildCtrLex(arg0: String, arg1: Array[Array[XVarInteger]], arg2: TypeOperator): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  58. def buildCtrLexMatrix(arg0: String, arg1: Array[Array[XVarInteger]], arg2: TypeOperator): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  59. def buildCtrMDD(arg0: String, arg1: Array[XVarInteger], arg2: Array[Array[AnyRef]]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  60. def buildCtrMaximum(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: XVarInteger, arg4: TypeRank, arg5: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  61. def buildCtrMaximum(arg0: String, arg1: Array[XVarInteger], arg2: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  62. def buildCtrMinimum(arg0: String, arg1: Array[XVarInteger], arg2: Int, arg3: XVarInteger, arg4: TypeRank, arg5: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  63. def buildCtrMinimum(arg0: String, arg1: Array[XVarInteger], arg2: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  64. def buildCtrNValues(arg0: String, arg1: Array[XVarInteger], arg2: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  65. def buildCtrNValuesExcept(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  66. def buildCtrNoOverlap(arg0: String, arg1: Array[Array[XVarInteger]], arg2: Array[Array[XVarInteger]], arg3: Boolean): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  67. def buildCtrNoOverlap(arg0: String, arg1: Array[Array[XVarInteger]], arg2: Array[Array[Int]], arg3: Boolean): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  68. def buildCtrNoOverlap(arg0: String, arg1: Array[XVarInteger], arg2: Array[XVarInteger], arg3: Boolean): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  69. def buildCtrNoOverlap(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Boolean): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  70. def buildCtrNotAllEqual(arg0: String, arg1: Array[XVarInteger]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  71. def buildCtrOrdered(arg0: String, arg1: Array[XVarInteger], arg2: TypeOperator): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  72. def buildCtrPrimitive(id: String, x: XVarInteger, opa: TypeArithmeticOperator, y: XVarInteger, op: TypeConditionOperatorRel, k: XVarInteger): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  73. def buildCtrPrimitive(id: String, x: XVarInteger, opa: TypeArithmeticOperator, y: XVarInteger, op: TypeConditionOperatorRel, k: Int): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  74. def buildCtrPrimitive(id: String, x: XVarInteger, op: TypeConditionOperatorRel, k: Int): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  75. def buildCtrRegular(arg0: String, arg1: Array[XVarInteger], arg2: Array[Array[AnyRef]], arg3: String, arg4: Array[String]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  76. def buildCtrStretch(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Array[Int], arg4: Array[Int], arg5: Array[Array[Int]]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  77. def buildCtrStretch(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Array[Int], arg4: Array[Int]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  78. def buildCtrSum(arg0: String, arg1: Array[XVarInteger], arg2: Array[Int], arg3: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  79. def buildCtrSum(arg0: String, arg1: Array[XVarInteger], arg2: Condition): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  80. def buildCtrTrue(arg0: String, arg1: Array[XVar]): Unit

    Permalink
    Definition Classes
    XCallbacks
  81. def buildObjToMaximize(id: String, typ: TypeObjective, list: Array[XVarInteger], coefs: Array[Int]): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  82. def buildObjToMaximize(id: String, x: XVarInteger): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  83. def buildObjToMaximize(arg0: String, arg1: TypeObjective, arg2: Array[XVarInteger]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  84. def buildObjToMaximize(arg0: String, arg1: XNodeParent): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  85. def buildObjToMinimize(id: String, typ: TypeObjective, list: Array[XVarInteger], coefs: Array[Int]): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  86. def buildObjToMinimize(id: String, x: XVarInteger): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  87. def buildObjToMinimize(arg0: String, arg1: TypeObjective, arg2: Array[XVarInteger]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  88. def buildObjToMinimize(arg0: String, arg1: XNodeParent): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  89. def buildVarInteger(x: XVarInteger, values: Array[Int]): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  90. def buildVarInteger(x: XVarInteger, lb: Int, ub: Int): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  91. def buildVarSymbolic(arg0: XVarSymbolic, arg1: Array[String]): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  92. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  93. def cspom(x: Array[XVarInteger]): CSPOMSeq[Int]

    Permalink
  94. def cspom(x: XVarInteger): CSPOMVariable[Int]

    Permalink
  95. val cspom: CSPOM

    Permalink
  96. var declaredVariables: Map[XVarInteger, CSPOMVariable[Int]]

    Permalink
  97. def endArray(arg0: XArray): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  98. def endBlock(arg0: XBlock): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  99. def endConstraints(): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  100. def endGroup(arg0: XGroup): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  101. def endInstance(): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  102. def endObjectives(): Unit

    Permalink
    Definition Classes
    XCSP3Callbacks → XCallbacks2 → XCallbacks
  103. def endSlide(arg0: XSlide): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  104. def endVariables(): Unit

    Permalink
    Definition Classes
    XCallbacks2 → XCallbacks
  105. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  106. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  107. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  108. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  109. var goal: CSPOMGoal[Int]

    Permalink
  110. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  111. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  112. def loadArray(arg0: XArray, arg1: Map[XDom, AnyRef]): Unit

    Permalink
    Definition Classes
    XCallbacks
  113. def loadBlock(arg0: XBlock): Unit

    Permalink
    Definition Classes
    XCallbacks
  114. def loadConstraints(arg0: List[CEntry]): Unit

    Permalink
    Definition Classes
    XCallbacks
  115. def loadConstraints(arg0: XParser): Unit

    Permalink
    Definition Classes
    XCallbacks
  116. def loadCtr(arg0: XCtr): Unit

    Permalink
    Definition Classes
    XCallbacks
  117. def loadCtrs(arg0: XCtr, arg1: Array[Array[AnyRef]], arg2: CEntry): Unit

    Permalink
    Definition Classes
    XCallbacks
  118. def loadDocument(arg0: String): Document

    Permalink
    Definition Classes
    XCallbacks
    Annotations
    @throws( classOf[java.lang.Exception] )
  119. def loadGroup(arg0: XGroup): Unit

    Permalink
    Definition Classes
    XCallbacks
  120. def loadInstance(parser: XParser): Unit

    Permalink
  121. def loadInstance(arg0: String, arg1: <repeated...>[String]): Unit

    Permalink
    Definition Classes
    XCallbacks
    Annotations
    @throws( classOf[java.lang.Exception] )
  122. def loadObjective(arg0: OEntry): Unit

    Permalink
    Definition Classes
    XCallbacks
  123. def loadObjectives(arg0: List[OEntry]): Unit

    Permalink
    Definition Classes
    XCallbacks
  124. def loadSlide(arg0: XSlide): Unit

    Permalink
    Definition Classes
    XCallbacks
  125. def loadVar(arg0: XVar, arg1: Map[XDom, AnyRef]): Unit

    Permalink
    Definition Classes
    XCallbacks
  126. def loadVariables(arg0: XParser): Unit

    Permalink
    Definition Classes
    XCallbacks
  127. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  128. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  129. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  130. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  131. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  132. def unimplementedCase(objects: AnyRef*): AnyRef

    Permalink
  133. def unimplementedCase(arg0: <repeated...>[AnyRef]): AnyRef

    Permalink
    Definition Classes
    XCallbacks2
  134. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  135. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  136. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from XCallbacks2

Inherited from XCallbacks

Inherited from AnyRef

Inherited from Any

Ungrouped