Class/Object

jp.kobe_u.copris

Var

Related Docs: object Var | package copris

Permalink

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

Case class of integer variables.

name

the primary name of the variable

is

the indices of the variable (optional)

Linear Supertypes
Product, Equals, Ordering[Var], PartialOrdering[Var], Equiv[Var], Serializable, Serializable, Comparator[Var], Term, Expr, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Var
  2. Product
  3. Equals
  4. Ordering
  5. PartialOrdering
  6. Equiv
  7. Serializable
  8. Serializable
  9. Comparator
  10. Term
  11. Expr
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Var(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. def !: Le

    Permalink

    Returns this <= 0

    Returns this <= 0

    Definition Classes
    Term
  2. final def !=(arg0: Any): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. def %(a: Int): Mod

    Permalink

    Returns jp.kobe_u.copris.Mod of Term by Int

    Returns jp.kobe_u.copris.Mod of Term by Int

    Definition Classes
    Term
  5. def %(x: Term): Mod

    Permalink

    Returns jp.kobe_u.copris.Mod of Terms

    Returns jp.kobe_u.copris.Mod of Terms

    Definition Classes
    Term
  6. def *(a: Int): Mul

    Permalink

    Returns jp.kobe_u.copris.Mul of Term with Int

    Returns jp.kobe_u.copris.Mul of Term with Int

    Definition Classes
    Term
  7. def *(x: Term): Mul

    Permalink

    Returns jp.kobe_u.copris.Mul of Terms

    Returns jp.kobe_u.copris.Mul of Terms

    Definition Classes
    Term
  8. def +(a: Int): Add

    Permalink

    Returns jp.kobe_u.copris.Add of Term with Int

    Returns jp.kobe_u.copris.Add of Term with Int

    Definition Classes
    Term
  9. def +(x: Term): Add

    Permalink

    Returns jp.kobe_u.copris.Add of Terms

    Returns jp.kobe_u.copris.Add of Terms

    Definition Classes
    Term
  10. def -(a: Int): Sub

    Permalink

    Returns jp.kobe_u.copris.Sub of Term with Int

    Returns jp.kobe_u.copris.Sub of Term with Int

    Definition Classes
    Term
  11. def -(x: Term): Sub

    Permalink

    Returns jp.kobe_u.copris.Sub of Terms

    Returns jp.kobe_u.copris.Sub of Terms

    Definition Classes
    Term
  12. def /(a: Int): Div

    Permalink

    Returns jp.kobe_u.copris.Div of Term by Int

    Returns jp.kobe_u.copris.Div of Term by Int

    Definition Classes
    Term
  13. def /(x: Term): Div

    Permalink

    Returns jp.kobe_u.copris.Div of Terms

    Returns jp.kobe_u.copris.Div of Terms

    Definition Classes
    Term
  14. def <(a: Int): Lt

    Permalink

    Returns jp.kobe_u.copris.Lt of Term and Int

    Returns jp.kobe_u.copris.Lt of Term and Int

    Definition Classes
    Term
  15. def <(x: Term): Lt

    Permalink

    Returns jp.kobe_u.copris.Lt of Terms

    Returns jp.kobe_u.copris.Lt of Terms

    Definition Classes
    Term
  16. def <=(a: Int): Le

    Permalink

    Returns jp.kobe_u.copris.Le of Term and Int

    Returns jp.kobe_u.copris.Le of Term and Int

    Definition Classes
    Term
  17. def <=(x: Term): Le

    Permalink

    Returns jp.kobe_u.copris.Le of Terms

    Returns jp.kobe_u.copris.Le of Terms

    Definition Classes
    Term
  18. def =/=(a: Int): Ne

    Permalink

    Returns jp.kobe_u.copris.Ne of Term and Int

    Returns jp.kobe_u.copris.Ne of Term and Int

    Definition Classes
    Term
  19. def =/=(x: Term): Ne

    Permalink

    Returns jp.kobe_u.copris.Ne of Terms

    Returns jp.kobe_u.copris.Ne of Terms

    Definition Classes
    Term
  20. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  21. def ===(a: Int): Eq

    Permalink

    Returns jp.kobe_u.copris.Eq of Term and Int

    Returns jp.kobe_u.copris.Eq of Term and Int

    Definition Classes
    Term
  22. def ===(x: Term): Eq

    Permalink

    Returns jp.kobe_u.copris.Eq of Terms

    Returns jp.kobe_u.copris.Eq of Terms

    Definition Classes
    Term
  23. def >(a: Int): Gt

    Permalink

    Returns jp.kobe_u.copris.Gt of Term and Int

    Returns jp.kobe_u.copris.Gt of Term and Int

    Definition Classes
    Term
  24. def >(x: Term): Gt

    Permalink

    Returns jp.kobe_u.copris.Gt of Terms

    Returns jp.kobe_u.copris.Gt of Terms

    Definition Classes
    Term
  25. def >=(a: Int): Ge

    Permalink

    Returns jp.kobe_u.copris.Ge of Term and Int

    Returns jp.kobe_u.copris.Ge of Term and Int

    Definition Classes
    Term
  26. def >=(x: Term): Ge

    Permalink

    Returns jp.kobe_u.copris.Ge of Terms

    Returns jp.kobe_u.copris.Ge of Terms

    Definition Classes
    Term
  27. def ?: Ge

    Permalink

    Returns this >= 1

    Returns this >= 1

    Definition Classes
    Term
  28. def apply(is1: Any*): Var

    Permalink

    Returns a new variable with extra indices given by is1

  29. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  30. var aux: Boolean

    Permalink

    Returns true when the variable auxiliary

  31. def bools: Iterator[Bool]

    Permalink

    Returns an iterator of occuring Boolean variables

    Returns an iterator of occuring Boolean variables

    Definition Classes
    Expr
  32. def clone(): AnyRef

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

    Permalink

    Compares variables

    Compares variables

    Definition Classes
    Var → Ordering → Comparator
  34. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  35. def equiv(x: Var, y: Var): Boolean

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

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

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

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

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

    Permalink

    the indices of the variable (optional)

  41. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  42. def lt(x: Var, y: Var): Boolean

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

    Permalink
    Definition Classes
    Ordering → PartialOrdering
  44. def max(x: Var, y: Var): Var

    Permalink
    Definition Classes
    Ordering
  45. def max(a: Int): Max

    Permalink

    Returns jp.kobe_u.copris.Max of Term and Int

    Returns jp.kobe_u.copris.Max of Term and Int

    Definition Classes
    Term
  46. def max(x: Term): Max

    Permalink

    Returns jp.kobe_u.copris.Max of Terms

    Returns jp.kobe_u.copris.Max of Terms

    Definition Classes
    Term
  47. def min(x: Var, y: Var): Var

    Permalink
    Definition Classes
    Ordering
  48. def min(a: Int): Min

    Permalink

    Returns jp.kobe_u.copris.Min of Term and Int

    Returns jp.kobe_u.copris.Min of Term and Int

    Definition Classes
    Term
  49. def min(x: Term): Min

    Permalink

    Returns jp.kobe_u.copris.Min of Terms

    Returns jp.kobe_u.copris.Min of Terms

    Definition Classes
    Term
  50. implicit def mkOrderingOps(lhs: Var): Ops

    Permalink
    Definition Classes
    Ordering
  51. val name: String

    Permalink

    the primary name of the variable

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

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

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

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

    Permalink
    Definition Classes
    Ordering
  56. def reverse: Ordering[Var]

    Permalink
    Definition Classes
    Ordering → PartialOrdering
  57. def reversed(): Comparator[Var]

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

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

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

    Permalink
    Definition Classes
    Comparator
  61. def thenComparing(arg0: Comparator[_ >: Var]): Comparator[Var]

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

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

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

    Permalink
    Definition Classes
    Comparator
  65. def toString(): String

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

    Permalink
    Definition Classes
    Ordering → PartialOrdering
  67. def unary_-: Neg

    Permalink

    Returns jp.kobe_u.copris.Neg of Term

    Returns jp.kobe_u.copris.Neg of Term

    Definition Classes
    Term
  68. def value(solution: Solution): Int

    Permalink

    Returns the value of the term

    Returns the value of the term

    Definition Classes
    VarTerm
  69. def variables: Iterator[Var]

    Permalink

    Returns an iterator of occuring variables

    Returns an iterator of occuring variables

    Definition Classes
    VarExpr
  70. final def wait(): Unit

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

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

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

Deprecated Value Members

  1. def !==(a: Int): Ne

    Permalink

    Returns jp.kobe_u.copris.Ne of Term and Int

    Returns jp.kobe_u.copris.Ne of Term and Int

    Definition Classes
    Term
    Annotations
    @deprecated
    Deprecated

    (Since version 2.2.0) use =/= instead

  2. def !==(x: Term): Ne

    Permalink

    Returns jp.kobe_u.copris.Ne of Terms

    Returns jp.kobe_u.copris.Ne of Terms

    Definition Classes
    Term
    Annotations
    @deprecated
    Deprecated

    (Since version 2.2.0) use =/= instead

Inherited from Product

Inherited from Equals

Inherited from Ordering[Var]

Inherited from PartialOrdering[Var]

Inherited from Equiv[Var]

Inherited from Serializable

Inherited from Serializable

Inherited from Comparator[Var]

Inherited from Term

Inherited from Expr

Inherited from AnyRef

Inherited from Any

Ungrouped