jp.kobe_u.copris

Bool

case class Bool(name: String, is: String*) extends Constraint with Ordering[Bool] with Product with Serializable

Case class of Boolean variables.

name

the primary name of the variable

is

the indices of the variable (optional)

Linear Supertypes
Product, Equals, Ordering[Bool], PartialOrdering[Bool], Equiv[Bool], Serializable, Serializable, Comparator[Bool], Constraint, Expr, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Bool
  2. Product
  3. Equals
  4. Ordering
  5. PartialOrdering
  6. Equiv
  7. Serializable
  8. Serializable
  9. Comparator
  10. Constraint
  11. Expr
  12. AnyRef
  13. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Bool(name: String, is: String*)

    name

    the primary name of the variable

    is

    the indices of the variable (optional)

Type Members

  1. class Ops extends AnyRef

    Definition Classes
    Ordering

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 $: If

    Returns If(this, 1, 0)

    Returns If(this, 1, 0)

    Definition Classes
    Constraint
  5. def &&(c: Constraint): And

    Returns jp.kobe_u.copris.And of Constraints

    Returns jp.kobe_u.copris.And of Constraints

    Definition Classes
    Constraint
  6. def <==>(c: Constraint): Iff

    Returns jp.kobe_u.copris.Iff of Constraints

    Returns jp.kobe_u.copris.Iff of Constraints

    Definition Classes
    Constraint
  7. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  8. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  9. def ==>(c: Constraint): Imp

    Returns jp.kobe_u.copris.Imp of Constraints

    Returns jp.kobe_u.copris.Imp of Constraints

    Definition Classes
    Constraint
  10. def ^(c: Constraint): Xor

    Returns jp.kobe_u.copris.Xor of Constraints

    Returns jp.kobe_u.copris.Xor of Constraints

    Definition Classes
    Constraint
  11. def apply(is1: Any*): Bool

    Returns a new variable with extra indices given by is1

  12. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  13. var aux: Boolean

    Returns true when the variable auxiliary

  14. def bools: Iterator[Bool]

    Returns an iterator of occuring Boolean variables

    Returns an iterator of occuring Boolean variables

    Definition Classes
    BoolExpr
  15. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  16. def compare(x1: Bool, x2: Bool): Int

    Compares variables

    Compares variables

    Definition Classes
    Bool → Ordering → Comparator
  17. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  18. def equiv(x: Bool, y: Bool): Boolean

    Definition Classes
    Ordering → PartialOrdering → Equiv
  19. def finalize(): Unit

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

    Definition Classes
    AnyRef → Any
  21. def gt(x: Bool, y: Bool): Boolean

    Definition Classes
    Ordering → PartialOrdering
  22. def gteq(x: Bool, y: Bool): Boolean

    Definition Classes
    Ordering → PartialOrdering
  23. val is: String*

    the indices of the variable (optional)

  24. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  25. def lt(x: Bool, y: Bool): Boolean

    Definition Classes
    Ordering → PartialOrdering
  26. def lteq(x: Bool, y: Bool): Boolean

    Definition Classes
    Ordering → PartialOrdering
  27. def max(x: Bool, y: Bool): Bool

    Definition Classes
    Ordering
  28. def min(x: Bool, y: Bool): Bool

    Definition Classes
    Ordering
  29. implicit def mkOrderingOps(lhs: Bool): Ops

    Definition Classes
    Ordering
  30. val name: String

    the primary name of the variable

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

    Definition Classes
    AnyRef
  32. final def notify(): Unit

    Definition Classes
    AnyRef
  33. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  34. def on[U](f: (U) ⇒ Bool): Ordering[U]

    Definition Classes
    Ordering
  35. def reverse: Ordering[Bool]

    Definition Classes
    Ordering → PartialOrdering
  36. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  37. def toInt: If

    Returns If(this, 1, 0)

    Returns If(this, 1, 0)

    Definition Classes
    Constraint
  38. def toString(): String

    Definition Classes
    Bool → AnyRef → Any
  39. def tryCompare(x: Bool, y: Bool): Some[Int]

    Definition Classes
    Ordering → PartialOrdering
  40. def unary_!: Not

    Returns jp.kobe_u.copris.Not of Constraint

    Returns jp.kobe_u.copris.Not of Constraint

    Definition Classes
    Constraint
  41. def value(solution: Solution): Boolean

    Returns the value of the constraint

    Returns the value of the constraint

    Definition Classes
    BoolConstraint
  42. def variables: Iterator[Var]

    Returns an iterator of occuring variables

    Returns an iterator of occuring variables

    Definition Classes
    Expr
  43. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. def ||(c: Constraint): Or

    Returns jp.kobe_u.copris.Or of Constraints

    Returns jp.kobe_u.copris.Or of Constraints

    Definition Classes
    Constraint

Inherited from Product

Inherited from Equals

Inherited from Ordering[Bool]

Inherited from PartialOrdering[Bool]

Inherited from Equiv[Bool]

Inherited from Serializable

Inherited from Serializable

Inherited from Comparator[Bool]

Inherited from Constraint

Inherited from Expr

Inherited from AnyRef

Inherited from Any

Ungrouped