Class/Object

jp.kobe_u.copris

Bool

Related Docs: object Bool | package copris

Permalink

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
Visibility
  1. Public
  2. All

Instance Constructors

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

    Permalink

    name

    the primary name of the variable

    is

    the indices of the variable (optional)

Type Members

  1. class Ops extends AnyRef

    Permalink
    Definition Classes
    Ordering

Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. def $: If

    Permalink

    Returns If(this, 1, 0)

    Returns If(this, 1, 0)

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

    Permalink

    Returns jp.kobe_u.copris.And of Constraints

    Returns jp.kobe_u.copris.And of Constraints

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

    Permalink

    Returns jp.kobe_u.copris.Iff of Constraints

    Returns jp.kobe_u.copris.Iff of Constraints

    Definition Classes
    Constraint
  6. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  7. def ==>(c: Constraint): Imp

    Permalink

    Returns jp.kobe_u.copris.Imp of Constraints

    Returns jp.kobe_u.copris.Imp of Constraints

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

    Permalink

    Returns jp.kobe_u.copris.Xor of Constraints

    Returns jp.kobe_u.copris.Xor of Constraints

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

    Permalink

    Returns a new variable with extra indices given by is1

  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  11. var aux: Boolean

    Permalink

    Returns true when the variable auxiliary

  12. def bools: Iterator[Bool]

    Permalink

    Returns an iterator of occuring Boolean variables

    Returns an iterator of occuring Boolean variables

    Definition Classes
    BoolExpr
  13. def clone(): AnyRef

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

    Permalink

    Compares variables

    Compares variables

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

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

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

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

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

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

    Permalink
    Definition Classes
    Ordering → PartialOrdering
  21. val is: String*

    Permalink

    the indices of the variable (optional)

  22. final def isInstanceOf[T0]: Boolean

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

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

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

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

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

    Permalink
    Definition Classes
    Ordering
  28. val name: String

    Permalink

    the primary name of the variable

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

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

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

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

    Permalink
    Definition Classes
    Ordering
  33. def reverse: Ordering[Bool]

    Permalink
    Definition Classes
    Ordering → PartialOrdering
  34. def reversed(): Comparator[Bool]

    Permalink
    Definition Classes
    Comparator
  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  36. def thenComparing[U <: Comparable[_ >: U]](arg0: Function[_ >: Bool, _ <: U]): Comparator[Bool]

    Permalink
    Definition Classes
    Comparator
  37. def thenComparing[U](arg0: Function[_ >: Bool, _ <: U], arg1: Comparator[_ >: U]): Comparator[Bool]

    Permalink
    Definition Classes
    Comparator
  38. def thenComparing(arg0: Comparator[_ >: Bool]): Comparator[Bool]

    Permalink
    Definition Classes
    Comparator
  39. def thenComparingDouble(arg0: ToDoubleFunction[_ >: Bool]): Comparator[Bool]

    Permalink
    Definition Classes
    Comparator
  40. def thenComparingInt(arg0: ToIntFunction[_ >: Bool]): Comparator[Bool]

    Permalink
    Definition Classes
    Comparator
  41. def thenComparingLong(arg0: ToLongFunction[_ >: Bool]): Comparator[Bool]

    Permalink
    Definition Classes
    Comparator
  42. def toInt: If

    Permalink

    Returns If(this, 1, 0)

    Returns If(this, 1, 0)

    Definition Classes
    Constraint
  43. def toString(): String

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

    Permalink
    Definition Classes
    Ordering → PartialOrdering
  45. def unary_!: Not

    Permalink

    Returns jp.kobe_u.copris.Not of Constraint

    Returns jp.kobe_u.copris.Not of Constraint

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

    Permalink

    Returns the value of the constraint

    Returns the value of the constraint

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

    Permalink

    Returns an iterator of occuring variables

    Returns an iterator of occuring variables

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

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

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

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

    Permalink

    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