jp.kobe_u.copris

Num

case class Num (value: Int) extends Term with Product with Serializable

Case class of number terms.

value

the value of the number term

Linear Supertypes
Serializable, Serializable, Product, Equals, Term, Expr, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Num
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Term
  7. Expr
  8. AnyRef
  9. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Num (value: Int)

    value

    the value of the number term

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 asInstanceOf [T0] : T0

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

    Definition Classes
    Num → Equals
  30. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  31. def eq (arg0: AnyRef): Boolean

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

    Definition Classes
    Num → Equals → AnyRef → Any
  33. def finalize (): Unit

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

    Attributes
    final
    Definition Classes
    AnyRef
  35. def hashCode (): Int

    Definition Classes
    Num → AnyRef → Any
  36. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  37. def max (a: Int): Max

    Returns Max of Term and Int

    Returns Max of Term and Int

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

    Returns Max of Terms

    Returns Max of Terms

    Definition Classes
    Term
  39. def min (a: Int): Min

    Returns Min of Term and Int

    Returns Min of Term and Int

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

    Returns Min of Terms

    Returns Min of Terms

    Definition Classes
    Term
  41. def ne (arg0: AnyRef): Boolean

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

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

    Attributes
    final
    Definition Classes
    AnyRef
  44. def productArity : Int

    Definition Classes
    Num → Product
  45. def productElement (arg0: Int): Any

    Definition Classes
    Num → Product
  46. def productIterator : Iterator[Any]

    Definition Classes
    Product
  47. def productPrefix : String

    Definition Classes
    Num → Product
  48. def synchronized [T0] (arg0: ⇒ T0): T0

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

    Definition Classes
    Num → AnyRef → Any
  50. def unary_- : Neg

    Returns Neg of Term

    Returns Neg of Term

    Definition Classes
    Term
  51. val value : Int

    the value of the number term

  52. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  55. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Term

Inherited from Expr

Inherited from AnyRef

Inherited from Any