gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.lkt/Cut

Cut

gapt.proofs.lkt.Cut
See theCut companion object
case class Cut(f: Formula, q1: Bound1, q2: 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]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
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