Packages

case class Sub(xs: Term*) extends Term with Product with Serializable

Case class for subtraction of terms. Companion object provies other factory methods.

Linear Supertypes
Serializable, Serializable, Product, Equals, Term, Expr, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Sub
  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 Sub(xs: Term*)

Value Members

  1. def !: Le

    Returns this <= 0

    Returns this <= 0

    Definition Classes
    Term
  2. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  3. final def ##(): Int
    Definition Classes
    AnyRef → Any
  4. def %(a: Int): Mod

    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

    Returns jp.kobe_u.copris.Mod of Terms

    Returns jp.kobe_u.copris.Mod of Terms

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

    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

    Returns jp.kobe_u.copris.Mul of Terms

    Returns jp.kobe_u.copris.Mul of Terms

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

    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

    Returns jp.kobe_u.copris.Add of Terms

    Returns jp.kobe_u.copris.Add of Terms

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

    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

    Returns jp.kobe_u.copris.Sub of Terms

    Returns jp.kobe_u.copris.Sub of Terms

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

    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

    Returns jp.kobe_u.copris.Div of Terms

    Returns jp.kobe_u.copris.Div of Terms

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

    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

    Returns jp.kobe_u.copris.Lt of Terms

    Returns jp.kobe_u.copris.Lt of Terms

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

    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

    Returns jp.kobe_u.copris.Le of Terms

    Returns jp.kobe_u.copris.Le of Terms

    Definition Classes
    Term
  18. def =/=(a: Int): Ne

    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

    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
    Definition Classes
    AnyRef → Any
  21. def ===(a: Int): Eq

    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

    Returns jp.kobe_u.copris.Eq of Terms

    Returns jp.kobe_u.copris.Eq of Terms

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

    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

    Returns jp.kobe_u.copris.Gt of Terms

    Returns jp.kobe_u.copris.Gt of Terms

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

    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

    Returns jp.kobe_u.copris.Ge of Terms

    Returns jp.kobe_u.copris.Ge of Terms

    Definition Classes
    Term
  27. def ?: Ge

    Returns this >= 1

    Returns this >= 1

    Definition Classes
    Term
  28. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  29. def bools: Iterator[Bool]

    Returns an iterator of occuring Boolean variables

    Returns an iterator of occuring Boolean variables

    Definition Classes
    SubExpr
  30. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  31. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  32. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  33. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  34. def max(a: Int): Max

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

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

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

    Returns jp.kobe_u.copris.Max of Terms

    Returns jp.kobe_u.copris.Max of Terms

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

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

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

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

    Returns jp.kobe_u.copris.Min of Terms

    Returns jp.kobe_u.copris.Min of Terms

    Definition Classes
    Term
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  40. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  41. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  42. def toString(): String
    Definition Classes
    Sub → AnyRef → Any
  43. def unary_-: Neg

    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

    Returns the value of the term

    Returns the value of the term

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

    Returns an iterator of occuring variables

    Returns an iterator of occuring variables

    Definition Classes
    SubExpr
  46. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  47. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  48. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. val xs: Term*

Deprecated Value Members

  1. def !==(a: Int): Ne

    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

    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

  3. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

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