Instance Constructors
-
new
Sub
(xs: Term*)
Value Members
-
def
!=
(arg0: AnyRef): Boolean
-
def
!=
(arg0: Any): Boolean
-
def
!==
(a: Int): Ne
-
def
!==
(x: Term): Ne
-
def
##
(): Int
-
def
%
(a: Int): Mod
-
-
def
*
(a: Int): Mul
-
-
def
+
(a: Int): Add
-
-
def
-
(a: Int): Sub
-
-
def
/
(a: Int): Div
-
-
def
<
(a: Int): Lt
-
def
<
(x: Term): Lt
-
def
<=
(a: Int): Le
-
def
<=
(x: Term): Le
-
def
==
(arg0: AnyRef): Boolean
-
def
==
(arg0: Any): Boolean
-
def
===
(a: Int): Eq
-
def
===
(x: Term): Eq
-
def
>
(a: Int): Gt
-
def
>
(x: Term): Gt
-
def
>=
(a: Int): Ge
-
def
>=
(x: Term): Ge
-
def
asInstanceOf
[T0]
: T0
-
def
canEqual
(arg0: Any): Boolean
-
def
clone
(): AnyRef
-
def
eq
(arg0: AnyRef): Boolean
-
def
equals
(arg0: Any): Boolean
-
def
finalize
(): Unit
-
def
getClass
(): java.lang.Class[_]
-
def
hashCode
(): Int
-
def
isInstanceOf
[T0]
: Boolean
-
def
max
(a: Int): Max
-
def
max
(x: Term): Max
-
def
min
(a: Int): Min
-
def
min
(x: Term): Min
-
def
ne
(arg0: AnyRef): Boolean
-
def
notify
(): Unit
-
def
notifyAll
(): Unit
-
def
productArity
: Int
-
def
productElement
(arg0: Int): Any
-
def
productIterator
: Iterator[Any]
-
def
productPrefix
: String
-
def
synchronized
[T0]
(arg0: ⇒ T0): T0
-
def
toString
(): String
-
def
unary_-
: Neg
-
def
wait
(): Unit
-
def
wait
(arg0: Long, arg1: Int): Unit
-
def
wait
(arg0: Long): Unit
-
val
xs
: Term*
-
def
productElements
: Iterator[Any]
Inherited from Serializable
Inherited from Serializable
Inherited from Product
Inherited from Equals
Inherited from AnyRef
Inherited from Any
Case class for subtraction of terms. Companion object provies other factory methods.