jp.kobe_u.copris

Var

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
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

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

    Returns this <= 0

    Returns this <= 0

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

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

    Definition Classes
    Any
  4. final def ##(): Int

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

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

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

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

    Returns jp.kobe_u.copris.Mod of Terms

    Returns jp.kobe_u.copris.Mod of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Mul of Terms

    Returns jp.kobe_u.copris.Mul of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Add of Terms

    Returns jp.kobe_u.copris.Add of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Sub of Terms

    Returns jp.kobe_u.copris.Sub of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Div of Terms

    Returns jp.kobe_u.copris.Div of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Lt of Terms

    Returns jp.kobe_u.copris.Lt of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Le of Terms

    Returns jp.kobe_u.copris.Le of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Ne of Terms

    Returns jp.kobe_u.copris.Ne of Terms

    Definition Classes
    Term
  21. final def ==(arg0: AnyRef): Boolean

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

    Definition Classes
    Any
  23. def ===(a: Int): Eq

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

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

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

    Returns jp.kobe_u.copris.Eq of Terms

    Returns jp.kobe_u.copris.Eq of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Gt of Terms

    Returns jp.kobe_u.copris.Gt of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Ge of Terms

    Returns jp.kobe_u.copris.Ge of Terms

    Definition Classes
    Term
  29. def ?: Ge

    Returns this >= 1

    Returns this >= 1

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

    Returns a new variable with extra indices given by is1

  31. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  32. var aux: Boolean

    Returns true when the variable auxiliary

  33. def bools: Iterator[Bool]

    Returns an iterator of occuring Boolean variables

    Returns an iterator of occuring Boolean variables

    Definition Classes
    Expr
  34. def clone(): AnyRef

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

    Compares variables

    Compares variables

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

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

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

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

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

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

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

    the indices of the variable (optional)

  43. final def isInstanceOf[T0]: Boolean

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

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

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

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

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

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

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

    Returns jp.kobe_u.copris.Max of Terms

    Returns jp.kobe_u.copris.Max of Terms

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

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

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

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

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

    Returns jp.kobe_u.copris.Min of Terms

    Returns jp.kobe_u.copris.Min of Terms

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

    Definition Classes
    Ordering
  53. val name: String

    the primary name of the variable

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

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

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

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

    Definition Classes
    Ordering
  58. def reverse: Ordering[Var]

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

    Definition Classes
    AnyRef
  60. def toString(): String

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

    Definition Classes
    Ordering → PartialOrdering
  62. def unary_-: Neg

    Returns jp.kobe_u.copris.Neg of Term

    Returns jp.kobe_u.copris.Neg of Term

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

    Returns the value of the term

    Returns the value of the term

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

    Returns an iterator of occuring variables

    Returns an iterator of occuring variables

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

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

    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

    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