de.sciss.poirot

Model

class Model extends Store

Manages all variables, constraints and global constraints for JaCoP constraint solver.

Linear Supertypes
Store, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Model
  2. Store
  3. AnyRef
  4. 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. final def ##(): Int

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  6. def addChanged(arg0: Var, arg1: Int, arg2: Int): Unit

    Definition Classes
    Store

  7. def addChanged(arg0: Constraint): Unit

    Definition Classes
    Store

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  9. def checkInvariants(): String

    Definition Classes
    Store

  10. def clearChanged(): Unit

    Definition Classes
    Store

  11. def clearWatchedConstraint(): Unit

    Definition Classes
    Store

  12. def clone(): AnyRef

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

  13. def consistency(): Boolean

    Definition Classes
    Store

  14. val constr: Buffer[Constraint]

  15. def countConstraint(arg0: Int): Unit

    Definition Classes
    Store

  16. def countConstraint(): Unit

    Definition Classes
    Store

  17. def countWatches(): Int

    Definition Classes
    Store

  18. def deRegisterRemoveLevelListener(arg0: Constraint): Boolean

    Definition Classes
    Store

  19. def deregisterWatchedLiteralConstraint(arg0: Constraint): Unit

    Definition Classes
    Store

  20. def deregisterWatchedLiteralConstraint(arg0: Var, arg1: Constraint): Unit

    Definition Classes
    Store

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

    Definition Classes
    AnyRef

  22. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  23. def finalize(): Unit

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

  24. def findPositionForInsert(arg0: Array[Int]): Int

    Definition Classes
    Store

  25. def findVariable(arg0: String): Var

    Definition Classes
    Store

  26. def getCheckSatisfiability(): Boolean

    Definition Classes
    Store

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

    Definition Classes
    AnyRef → Any

  28. def getCurrentConstraint(): Constraint

    Definition Classes
    Store

  29. def getDescription(): String

    Definition Classes
    Store

  30. def getFirstChanged(): Constraint

    Definition Classes
    Store

  31. def getName(): String

    Definition Classes
    Store

  32. def getVariableIdPrefix(): String

    Definition Classes
    Store

  33. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  34. def impose(arg0: Constraint, arg1: Int): Unit

    Definition Classes
    Store

  35. def impose(arg0: Constraint): Unit

    Definition Classes
    Store

  36. def imposeAllConstraints(): Unit

  37. def imposeDecomposition(arg0: DecomposedConstraint, arg1: Int): Unit

    Definition Classes
    Store

  38. def imposeDecomposition(arg0: DecomposedConstraint): Unit

    Definition Classes
    Store

  39. def imposeDecompositionWithConsistency(arg0: DecomposedConstraint): Unit

    Definition Classes
    Store

  40. def imposeToSat(arg0: Constraint): Unit

    Definition Classes
    Store

  41. def imposeWithConsistency(arg0: Constraint): Unit

    Definition Classes
    Store
    Annotations
    @throws( ... )

  42. def isGround(): Boolean

    Definition Classes
    Store

  43. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  44. var n: Int

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

    Definition Classes
    AnyRef

  46. final def notify(): Unit

    Definition Classes
    AnyRef

  47. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  48. def numberConstraints(): Int

    Definition Classes
    Store

  49. def print(): Unit

    Definition Classes
    Store

  50. def putMutableVar(arg0: TimeStamp[_]): Int

    Definition Classes
    Store

  51. def putMutableVar(arg0: MutableVar): Int

    Definition Classes
    Store

  52. def putVariable(arg0: Var): Int

    Definition Classes
    Store

  53. def recordBooleanChange(arg0: org.jacop.core.BooleanVar): Unit

    Definition Classes
    Store

  54. def recordChange(arg0: Var): Unit

    Definition Classes
    Store

  55. def recordTuples(arg0: Array[Array[Int]]): Array[Array[Int]]

    Definition Classes
    Store

  56. def registerRemoveLevelLateListener(arg0: Constraint): Boolean

    Definition Classes
    Store

  57. def registerRemoveLevelListener(arg0: Constraint): Boolean

    Definition Classes
    Store

  58. def registerWatchedLiteralConstraint(arg0: Var, arg1: Constraint): Unit

    Definition Classes
    Store

  59. def removeLevel(arg0: Int): Unit

    Definition Classes
    Store

  60. def select(arg0: Class[Constraint]): ArrayList[Constraint]

    Definition Classes
    Store

  61. def setCheckSatisfiability(arg0: Boolean): Unit

    Definition Classes
    Store

  62. def setDescription(arg0: String): Unit

    Definition Classes
    Store

  63. def setID(arg0: String): Unit

    Definition Classes
    Store

  64. def setLevel(arg0: Int): Unit

    Definition Classes
    Store

  65. def setVariableIdPrefix(arg0: String): Unit

    Definition Classes
    Store

  66. def size(): Int

    Definition Classes
    Store

  67. def smallerEqualTuple(arg0: Array[Int], arg1: Array[Int]): Boolean

    Definition Classes
    Store

  68. def sortTuples(arg0: Array[Array[Int]]): Array[Array[Int]]

    Definition Classes
    Store

  69. def sortTuplesWithin(arg0: Array[Array[Int]]): Unit

    Definition Classes
    Store

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

    Definition Classes
    AnyRef

  71. def throwFailException(arg0: Var): Unit

    Definition Classes
    Store

  72. def toString(): String

    Definition Classes
    Store → AnyRef → Any

  73. def toStringChangedEl(): String

    Definition Classes
    Store

  74. def trim(): Unit

    Definition Classes
    Store

  75. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Store

Inherited from AnyRef

Inherited from Any

Ungrouped