Class

jp.kobe_u.copris

Term

Related Doc: package copris

Permalink

sealed abstract 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.

Linear Supertypes
Expr, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Term
  2. Expr
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def value(solution: Solution): Int

    Permalink

    Returns the value of the term

Concrete Value Members

  1. def !: Le

    Permalink

    Returns this <= 0

  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

  5. def %(x: Term): Mod

    Permalink

    Returns jp.kobe_u.copris.Mod of Terms

  6. def *(a: Int): Mul

    Permalink

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

  7. def *(x: Term): Mul

    Permalink

    Returns jp.kobe_u.copris.Mul of Terms

  8. def +(a: Int): Add

    Permalink

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

  9. def +(x: Term): Add

    Permalink

    Returns jp.kobe_u.copris.Add of Terms

  10. def -(a: Int): Sub

    Permalink

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

  11. def -(x: Term): Sub

    Permalink

    Returns jp.kobe_u.copris.Sub of Terms

  12. def /(a: Int): Div

    Permalink

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

  13. def /(x: Term): Div

    Permalink

    Returns jp.kobe_u.copris.Div of Terms

  14. def <(a: Int): Lt

    Permalink

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

  15. def <(x: Term): Lt

    Permalink

    Returns jp.kobe_u.copris.Lt of Terms

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

    Permalink

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

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

    Permalink

    Returns jp.kobe_u.copris.Le of Terms

  18. def =/=(a: Int): Ne

    Permalink

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

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

    Permalink

    Returns jp.kobe_u.copris.Ne of Terms

  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

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

    Permalink

    Returns jp.kobe_u.copris.Eq of Terms

  23. def >(a: Int): Gt

    Permalink

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

  24. def >(x: Term): Gt

    Permalink

    Returns jp.kobe_u.copris.Gt of Terms

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

    Permalink

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

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

    Permalink

    Returns jp.kobe_u.copris.Ge of Terms

  27. def ?: Ge

    Permalink

    Returns this >= 1

  28. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  29. def bools: Iterator[Bool]

    Permalink

    Returns an iterator of occuring Boolean variables

    Returns an iterator of occuring Boolean variables

    Definition Classes
    Expr
  30. def clone(): AnyRef

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  35. def hashCode(): Int

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

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

    Permalink

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

  38. def max(x: Term): Max

    Permalink

    Returns jp.kobe_u.copris.Max of Terms

  39. def min(a: Int): Min

    Permalink

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

  40. def min(x: Term): Min

    Permalink

    Returns jp.kobe_u.copris.Min of Terms

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

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

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

    Permalink
    Definition Classes
    AnyRef
  44. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  45. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  46. def unary_-: Neg

    Permalink

    Returns jp.kobe_u.copris.Neg of Term

  47. def variables: Iterator[Var]

    Permalink

    Returns an iterator of occuring variables

    Returns an iterator of occuring variables

    Definition Classes
    Expr
  48. final def wait(): Unit

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. 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

    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

    Annotations
    @deprecated
    Deprecated

    (Since version 2.2.0) use =/= instead

Inherited from Expr

Inherited from AnyRef

Inherited from Any

Ungrouped