Class

jp.kobe_u.copris

Abs

Related Doc: package copris

Permalink

case class Abs(x0: Term) extends Term with Product with Serializable

Case class for absolute value of term.

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

Instance Constructors

  1. new Abs(x0: Term)

    Permalink

Value Members

  1. def !: Le

    Permalink

    Returns this <= 0

    Returns this <= 0

    Definition Classes
    Term
  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

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

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

    Permalink

    Returns jp.kobe_u.copris.Mod of Terms

    Returns jp.kobe_u.copris.Mod of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Mul of Terms

    Returns jp.kobe_u.copris.Mul of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Add of Terms

    Returns jp.kobe_u.copris.Add of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Sub of Terms

    Returns jp.kobe_u.copris.Sub of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Div of Terms

    Returns jp.kobe_u.copris.Div of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Lt of Terms

    Returns jp.kobe_u.copris.Lt of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Le of Terms

    Returns jp.kobe_u.copris.Le of Terms

    Definition Classes
    Term
  18. 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

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

    Permalink

    Returns jp.kobe_u.copris.Ne of Terms

    Returns jp.kobe_u.copris.Ne of Terms

    Definition Classes
    Term
  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

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

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

    Permalink

    Returns jp.kobe_u.copris.Eq of Terms

    Returns jp.kobe_u.copris.Eq of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Gt of Terms

    Returns jp.kobe_u.copris.Gt of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Ge of Terms

    Returns jp.kobe_u.copris.Ge of Terms

    Definition Classes
    Term
  27. def ?: Ge

    Permalink

    Returns this >= 1

    Returns this >= 1

    Definition Classes
    Term
  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
    AbsExpr
  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 finalize(): Unit

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

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

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Max of Terms

    Returns jp.kobe_u.copris.Max of Terms

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

    Permalink

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

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

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

    Permalink

    Returns jp.kobe_u.copris.Min of Terms

    Returns jp.kobe_u.copris.Min of Terms

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  43. def unary_-: Neg

    Permalink

    Returns jp.kobe_u.copris.Neg of Term

    Returns jp.kobe_u.copris.Neg of Term

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

    Permalink

    Returns the value of the term

    Returns the value of the term

    Definition Classes
    AbsTerm
  45. def variables: Iterator[Var]

    Permalink

    Returns an iterator of occuring variables

    Returns an iterator of occuring variables

    Definition Classes
    AbsExpr
  46. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. val x0: Term

    Permalink

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

    Definition Classes
    Term
    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

    Definition Classes
    Term
    Annotations
    @deprecated
    Deprecated

    (Since version 2.2.0) use =/= 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

Ungrouped