jp.kobe_u.copris

Term

class Term extends Expr

Abstract class of terms.

Operators defined in this class create a new expression. For example, x + y returns a new term Add(x, y) when x and y are terms.

Attributes
sealed abstract
Linear Supertypes
Expr, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Term
  2. Expr
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Term ()

Abstract Value Members

  1. def value (solution: Solution): Int

    Returns the value of the term

    Returns the value of the term

    Attributes
    abstract

Concrete 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

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

    Returns Ne of Terms

  5. def ## (): Int

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

    Returns Mod of Term by Int

  7. def % (x: Term): Mod

    Returns Mod of Terms

  8. def * (a: Int): Mul

    Returns Mul of Term with Int

  9. def * (x: Term): Mul

    Returns Mul of Terms

  10. def + (a: Int): Add

    Returns Add of Term with Int

  11. def + (x: Term): Add

    Returns Add of Terms

  12. def - (a: Int): Sub

    Returns Sub of Term with Int

  13. def - (x: Term): Sub

    Returns Sub of Terms

  14. def / (a: Int): Div

    Returns Div of Term by Int

  15. def / (x: Term): Div

    Returns Div of Terms

  16. def < (a: Int): Lt

    Returns Lt of Term and Int

  17. def < (x: Term): Lt

    Returns Lt of Terms

  18. def <= (a: Int): Le

    Returns Le of Term and Int

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

    Returns Le of Terms

  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

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

    Returns Eq of Terms

  24. def > (a: Int): Gt

    Returns Gt of Term and Int

  25. def > (x: Term): Gt

    Returns Gt of Terms

  26. def >= (a: Int): Ge

    Returns Ge of Term and Int

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

    Returns Ge of Terms

  28. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  29. def clone (): AnyRef

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

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

    Definition Classes
    AnyRef → Any
  32. def finalize (): Unit

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

    Attributes
    final
    Definition Classes
    AnyRef → Any
  34. def hashCode (): Int

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

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

    Returns Max of Term and Int

  37. def max (x: Term): Max

    Returns Max of Terms

  38. def min (a: Int): Min

    Returns Min of Term and Int

  39. def min (x: Term): Min

    Returns Min of Terms

  40. def ne (arg0: AnyRef): Boolean

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

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

    Attributes
    final
    Definition Classes
    AnyRef
  43. def synchronized [T0] (arg0: ⇒ T0): T0

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

    Definition Classes
    AnyRef → Any
  45. def unary_- : Neg

    Returns Neg of Term

  46. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Expr

Inherited from AnyRef

Inherited from Any