gapt
2.20.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.lkt/Eql

Eql

gapt.proofs.lkt.Eql
See theEql companion object
case class Eql(main: Hyp, eq: Hyp, ltr: Boolean, rwCtx: Expr, q: Bound1) extends LKt

Attributes

Companion
object
Source
terms.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait LKt
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

class TreeLikeOps

Attributes

Inherited from:
LKt
Source
terms.scala
Supertypes
class Object
trait Matchable
class Any

Value members

Inherited methods

def containedHyps: Set[Hyp]

Attributes

Inherited from:
LKt
Source
terms.scala
def foreach(f: LKt => Unit): Unit

Attributes

Inherited from:
LKt
Source
terms.scala
def mainHyps: Seq[Hyp]

Attributes

Inherited from:
LKt
Source
terms.scala
def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
Source
Product.scala
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
Source
Product.scala
def replace(a: Hyp, b: Hyp): LKt

Attributes

Inherited from:
LKt
Source
terms.scala
def subProofs: Vector[LKt]

Attributes

Inherited from:
LKt
Source
terms.scala
def toDoc(implicit sig: BabelSignature): Doc

Attributes

Inherited from:
LKt
Source
terms.scala
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
LKt -> Any
Inherited from:
LKt
Source
terms.scala
def treeLike: TreeLikeOps

Attributes

Inherited from:
LKt
Source
terms.scala

Inherited fields

val freeHyps: Set[Hyp]

Attributes

Inherited from:
LKt
Source
terms.scala
val freeVars: Set[Var]

Attributes

Inherited from:
LKt
Source
terms.scala
val hasCuts: Boolean

Attributes

Inherited from:
LKt
Source
terms.scala
Generated with