sealed abstract class ETt extends AnyRef
Expansion tree term.
This is a compressed representation of expansion trees that does not store formulas or polarity information.
In contrast to expansion trees, expansion tree terms do not have shallow and deep formulas. Rather, there is a (partial) function from term and shallow formula (and polarity) to deep formula.
For example, instead of ETAtom(hof"P(a)", Polarity.Positive)
,
we just store ETtAtom
.
As a side effect, the deep methods checks whether an expansion tree term is correct for a given shallow formula (it throws an exception if the term is not correct).
- Self Type
- ETt with Product
- Source
- terms.scala
- Alphabetic
- By Inheritance
- ETt
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (ETt, B)
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def deep(shallow: Formula, polarity: Polarity): Formula
- def eigenVariables: Set[Var]
- def ensuring(cond: (ETt) => Boolean, msg: => Any): ETt
- def ensuring(cond: (ETt) => Boolean): ETt
- def ensuring(cond: Boolean, msg: => Any): ETt
- def ensuring(cond: Boolean): ETt
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def foreach(f: (ETt) => Unit): Unit
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- val hashCode: Int
- Definition Classes
- ETt → AnyRef → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toDoc(implicit sig: BabelSignature): Doc
- def toSigRelativeString(implicit sig: BabelSignature): String
- def toString(): String
- Definition Classes
- ETt → AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def →[B](y: B): (ETt, B)
- Implicit
- This member is added by an implicit conversion from ETt toArrowAssoc[ETt] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->
instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
This is the API documentation for GAPT.
The main package is gapt.