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], Serializable, Serializable, PartialOrdering[Var], Equiv[Var], Comparator[Var], Term, Expr, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Var
  2. Product
  3. Equals
  4. Ordering
  5. Serializable
  6. Serializable
  7. PartialOrdering
  8. Equiv
  9. Comparator
  10. Term
  11. Expr
  12. AnyRef
  13. Any
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)

Value Members

  1. def != (arg0: AnyRef): Boolean

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

    Attributes
    final
    Definition Classes
    Any
  3. def !== (a: Int): Ne

    Returns Ne of Term and Int

    Returns Ne of Term and Int

    Definition Classes
    Term
  4. def !== (x: Term): Ne

    Returns Ne of Terms

    Returns Ne of Terms

    Definition Classes
    Term
  5. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  6. def % (a: Int): Mod

    Returns Mod of Term by Int

    Returns Mod of Term by Int

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

    Returns Mod of Terms

    Returns Mod of Terms

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

    Returns Mul of Term with Int

    Returns Mul of Term with Int

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

    Returns Mul of Terms

    Returns Mul of Terms

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

    Returns Add of Term with Int

    Returns Add of Term with Int

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

    Returns Add of Terms

    Returns Add of Terms

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

    Returns Sub of Term with Int

    Returns Sub of Term with Int

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

    Returns Sub of Terms

    Returns Sub of Terms

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

    Returns Div of Term by Int

    Returns Div of Term by Int

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

    Returns Div of Terms

    Returns Div of Terms

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

    Returns Lt of Term and Int

    Returns Lt of Term and Int

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

    Returns Lt of Terms

    Returns Lt of Terms

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

    Returns Le of Term and Int

    Returns Le of Term and Int

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

    Returns Le of Terms

    Returns Le of Terms

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

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

    Attributes
    final
    Definition Classes
    Any
  22. def === (a: Int): Eq

    Returns Eq of Term and Int

    Returns Eq of Term and Int

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

    Returns Eq of Terms

    Returns Eq of Terms

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

    Returns Gt of Term and Int

    Returns Gt of Term and Int

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

    Returns Gt of Terms

    Returns Gt of Terms

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

    Returns Ge of Term and Int

    Returns Ge of Term and Int

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

    Returns Ge of Terms

    Returns Ge of Terms

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

    Returns a new variable with extra indices given by is1

  29. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  30. def canEqual (arg0: Any): Boolean

    Definition Classes
    Var → Equals
  31. def clone (): AnyRef

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

    Compares variables

    Compares variables

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

    Attributes
    final
    Definition Classes
    AnyRef
  34. def equals (arg0: Any): Boolean

    Definition Classes
    Var → Equals → Comparator → AnyRef → Any
  35. def equiv (x: Var, y: Var): Boolean

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

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

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

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

    Definition Classes
    Ordering → PartialOrdering
  40. def hashCode (): Int

    Definition Classes
    Var → AnyRef → Any
  41. val is : String*

    the indices of the variable (optional)

  42. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  43. def lt (x: Var, y: Var): Boolean

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

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

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

    Returns Max of Term and Int

    Returns Max of Term and Int

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

    Returns Max of Terms

    Returns Max of Terms

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

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

    Returns Min of Term and Int

    Returns Min of Term and Int

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

    Returns Min of Terms

    Returns Min of Terms

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

    Attributes
    implicit
    Definition Classes
    Ordering
  52. val name : String

    the primary name of the variable

  53. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  54. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  55. def notifyAll (): Unit

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

    Definition Classes
    Ordering
  57. def productArity : Int

    Definition Classes
    Var → Product
  58. def productElement (arg0: Int): Any

    Definition Classes
    Var → Product
  59. def productIterator : Iterator[Any]

    Definition Classes
    Product
  60. def productPrefix : String

    Definition Classes
    Var → Product
  61. def reverse : Ordering[Var]

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

    Attributes
    final
    Definition Classes
    AnyRef
  63. def toString (): String

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

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

    Returns Neg of Term

    Returns Neg of Term

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

    Returns the value of the term

    Returns the value of the term

    Definition Classes
    VarTerm
  67. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Deprecated Value Members

  1. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead

Inherited from Product

Inherited from Equals

Inherited from Ordering[Var]

Inherited from Serializable

Inherited from Serializable

Inherited from PartialOrdering[Var]

Inherited from Equiv[Var]

Inherited from Comparator[Var]

Inherited from Term

Inherited from Expr

Inherited from AnyRef

Inherited from Any