Neg

def !: Le

Returns this <= 0

final def !=(arg0: Any): Boolean

final def ##(): Int

def %(a: Int): Mod

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

def %(x: Term): Mod

Returns jp.kobe_u.copris.Mod of Terms

def *(a: Int): Mul

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

def *(x: Term): Mul

Returns jp.kobe_u.copris.Mul of Terms

def +(a: Int): Add

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

def +(x: Term): Add

Returns jp.kobe_u.copris.Add of Terms

def -(a: Int): Sub

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

def -(x: Term): Sub

Returns jp.kobe_u.copris.Sub of Terms

def /(a: Int): Div

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

def /(x: Term): Div

Returns jp.kobe_u.copris.Div of Terms

def <(a: Int): Lt

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

def <(x: Term): Lt

Returns jp.kobe_u.copris.Lt of Terms

def <=(a: Int): Le

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

def <=(x: Term): Le

Returns jp.kobe_u.copris.Le of Terms

def =/=(a: Int): Ne

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

def =/=(x: Term): Ne

Returns jp.kobe_u.copris.Ne of Terms

final def ==(arg0: Any): Boolean

def ===(a: Int): Eq

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

def ===(x: Term): Eq

Returns jp.kobe_u.copris.Eq of Terms

def >(a: Int): Gt

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

def >(x: Term): Gt

Returns jp.kobe_u.copris.Gt of Terms

def >=(a: Int): Ge

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

def >=(x: Term): Ge

Returns jp.kobe_u.copris.Ge of Terms

def ?: Ge

Returns this >= 1

final def asInstanceOf[T0]: T0

def bools: Iterator[Bool]

Returns an iterator of occuring Boolean variables

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

def max(a: Int): Max

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

def max(x: Term): Max

Returns jp.kobe_u.copris.Max of Terms

def min(a: Int): Min

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

def min(x: Term): Min

Returns jp.kobe_u.copris.Min of Terms

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def unary_-: Neg

Returns jp.kobe_u.copris.Neg of Term

def value(solution: Solution): Int

Returns the value of the term

def variables: Iterator[Var]

Returns an iterator of occuring variables

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

val x0: Term

def !==(a: Int): Ne

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

def !==(x: Term): Ne

Returns jp.kobe_u.copris.Ne of Terms