de.sciss.poirot

SetVar

class SetVar extends org.jacop.set.core.SetVar

Defines a set variable and its primitive constraints.

Linear Supertypes
org.jacop.set.core.SetVar, Var, Backtrackable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SetVar
  2. SetVar
  3. Var
  4. Backtrackable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SetVar()(implicit model: Model)

    Defines an anonymous set variable with maximal set domain.

  2. new SetVar(glb: Int, lub: Int)(implicit model: Model)

    Defines an anonymous set variable.

    Defines an anonymous set variable.

    glb

    greatest lower bound for variable's domain.

    lub

    least upper bound on variable's domain.

  3. new SetVar(name: String, glb: Int, lub: Int)(implicit model: Model)

    Creates a new set variable.

    Creates a new set variable.

    name

    variable's identifier.

    glb

    greatest lower bound for variable's domain.

    lub

    least upper bound on variable's domain.

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: SetVar): Constraint

    Defines constraint this ordered set is lexicographically less or equal than set "that".

    Defines constraint this ordered set is lexicographically less or equal than set "that".

    that

    second parameter for the constraint.

    returns

    result this constraint.

  5. def #=(that: IntSet): Constraint

    Defines set equality constraint between a set variable and a set.

    Defines set equality constraint between a set variable and a set.

    that

    second parameter for the constraint.

    returns

    result this constraint.

  6. def #=(that: SetVar): Constraint

    Defines set equality constraint between two set variables.

    Defines set equality constraint between two set variables.

    that

    second parameter for the constraint.

    returns

    result this constraint.

  7. def #>=(that: SetVar): Constraint

    Defines constraint this ordered set is lexicographically greater or equal than set "that".

    Defines constraint this ordered set is lexicographically greater or equal than set "that".

    that

    second parameter for the constraint.

    returns

    result this constraint.

  8. def *(that: SetVar): SetVar

    Defines set intersection constraint between two set variables.

    Defines set intersection constraint between two set variables.

    that

    second parameter for the constraint.

    returns

    result set variable that is the result for this constraint.

  9. def +(that: SetVar): SetVar

    Defines set union constraint between two set variables.

    Defines set union constraint between two set variables.

    that

    second parameter for the constraint.

    returns

    result set variable that is the result for this constraint.

  10. def <>(that: SetVar): Constraint

    Defines set disjoint constraint between two set variables.

    Defines set disjoint constraint between two set variables.

    that

    second parameter for the constraint.

    returns

    result this constraint.

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  13. def \(that: SetVar): SetVar

    Defines set subtraction constraint between two set variables.

    Defines set subtraction constraint between two set variables.

    that

    second parameter for the constraint.

    returns

    result set variable that is the result for this constraint.

  14. def addDom(arg0: SetDomain): Unit

    Definition Classes
    SetVar

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

    Definition Classes
    SetVar

  16. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  17. def clone(): AnyRef

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

  18. def dom(): SetDomain

    Definition Classes
    SetVar → Var

  19. def domainHasChanged(arg0: Int): Unit

    Definition Classes
    SetVar → Var

  20. def eq(arg0: org.jacop.set.core.SetVar): Boolean

    Definition Classes
    SetVar

  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. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  25. def getSize(): Int

    Definition Classes
    SetVar → Var

  26. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  27. def id(): String

    Definition Classes
    Var

  28. def in(that: IntSet): Constraint

    Defines set inclusion constraint between a set variables and a set.

    Defines set inclusion constraint between a set variables and a set.

    that

    second parameter for the constraint.

    returns

    result this constraint.

  29. def in(that: SetVar): Constraint

    Defines set inclusion constraint between two set variables.

    Defines set inclusion constraint between two set variables.

    that

    second parameter for the constraint.

    returns

    result this constraint.

  30. def index(): Int

    Definition Classes
    Var → Backtrackable

  31. def isEmpty(): Boolean

    Definition Classes
    SetVar → Var

  32. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  33. def level(): Int

    Definition Classes
    SetVar → Var → Backtrackable

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

    Definition Classes
    AnyRef

  35. final def notify(): Unit

    Definition Classes
    AnyRef

  36. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  37. def putConstraint(arg0: Constraint): Unit

    Definition Classes
    SetVar → Var

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

    Definition Classes
    SetVar → Var

  39. def putSearchConstraint(arg0: Constraint): Unit

    Definition Classes
    SetVar → Var

  40. def recentDomainPruning(): SetDomain

    Definition Classes
    SetVar

  41. def remove(arg0: Int): Unit

    Definition Classes
    SetVar → Backtrackable

  42. def removeConstraint(arg0: Constraint): Unit

    Definition Classes
    SetVar → Var

  43. def setDomain(arg0: SetDomain): Unit

    Definition Classes
    SetVar

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

    Definition Classes
    SetVar

  45. def singleton(): Boolean

    Definition Classes
    SetVar → Var

  46. def sizeConstraints(): Int

    Definition Classes
    SetVar → Var

  47. def sizeConstraintsOriginal(): Int

    Definition Classes
    SetVar → Var

  48. def sizeSearchConstraints(): Int

    Definition Classes
    SetVar → Var

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

    Definition Classes
    AnyRef

  50. def toString(): String

    Definition Classes
    SetVar → AnyRef → Any

  51. def toStringFull(): String

    Definition Classes
    SetVar → Var

  52. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from org.jacop.set.core.SetVar

Inherited from Var

Inherited from Backtrackable

Inherited from AnyRef

Inherited from Any

Ungrouped