Instance Constructors
- new SigmaTerm(elems: Set[LocalTerm])
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def +:(x: LocalTerm): LocalTerm
- def ->[B](y: B): (SigmaTerm, B)
- final def ==(arg0: Any): Boolean
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- def dependsOn(that: Term): Boolean
- val elems: Set[LocalTerm]
- def ensuring(cond: (SigmaTerm) => Boolean, msg: => Any): SigmaTerm
- def ensuring(cond: (SigmaTerm) => Boolean): SigmaTerm
- def ensuring(cond: Boolean, msg: => Any): SigmaTerm
- def ensuring(cond: Boolean): SigmaTerm
- final def eq(arg0: AnyRef): Boolean
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- val head: LocalTerm
- def indepOf(that: Term): Boolean
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- def newobj: LocalTerm
- final def notify(): Unit
- final def notifyAll(): Unit
- val op: sum.type
- def productElementNames: Iterator[String]
- def replace(x: Term, y: Term): RepTerm[A] with Subs[RepTerm[A]]
- def subs(x: Term, y: Term): LocalTerm
- final def synchronized[T0](arg0: => T0): T0
- val tail: LocalTerm
- def toString(): String
- val typ: LocalTyp.type
- def usesVar(t: Term): Boolean
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
Deprecated Value Members
- def finalize(): Unit
- def →[B](y: B): (SigmaTerm, B)
Inherited from Product
Value Members
- def productElementNames: Iterator[String]
Inherited from Term
Value Members
- def dependsOn(that: Term): Boolean
- def indepOf(that: Term): Boolean
- def usesVar(t: Term): Boolean
Inherited from AnyRef
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def clone(): AnyRef
- final def eq(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- final def synchronized[T0](arg0: => T0): T0
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit
Inherited from Any
Value Members
- final def asInstanceOf[T0]: T0
- final def isInstanceOf[T0]: Boolean
Inherited by implicit conversion any2stringadd fromSigmaTerm to any2stringadd[SigmaTerm]
Value Members
- def +(other: String): String
Inherited by implicit conversion StringFormat fromSigmaTerm to StringFormat[SigmaTerm]
Value Members
- def formatted(fmtstr: String): String
Ungrouped
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def +:(x: LocalTerm): LocalTerm
- def ->[B](y: B): (SigmaTerm, B)
- final def ==(arg0: Any): Boolean
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- def dependsOn(that: Term): Boolean
- val elems: Set[LocalTerm]
- def ensuring(cond: (SigmaTerm) => Boolean, msg: => Any): SigmaTerm
- def ensuring(cond: (SigmaTerm) => Boolean): SigmaTerm
- def ensuring(cond: Boolean, msg: => Any): SigmaTerm
- def ensuring(cond: Boolean): SigmaTerm
- final def eq(arg0: AnyRef): Boolean
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- val head: LocalTerm
- def indepOf(that: Term): Boolean
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- def newobj: LocalTerm
- final def notify(): Unit
- final def notifyAll(): Unit
- val op: sum.type
- def productElementNames: Iterator[String]
- def replace(x: Term, y: Term): RepTerm[A] with Subs[RepTerm[A]]
- def subs(x: Term, y: Term): LocalTerm
- final def synchronized[T0](arg0: => T0): T0
- val tail: LocalTerm
- def toString(): String
- val typ: LocalTyp.type
- def usesVar(t: Term): Boolean
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit
- def →[B](y: B): (SigmaTerm, B)