gapt.prooftool.DrawSequent
See theDrawSequent companion class
object DrawSequent
Attributes
- Companion
- class
- Source
- DrawSequent.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
DrawSequent.type
Members list
Value members
Concrete methods
def apply[F, T <: SequentProof[F, LazyRef(...)]](parent: DrawSequentProof[F, T], seq: Sequent[F], mainAuxIndices: Set[SequentIndex], cutAncestorIndices: Set[SequentIndex], sequentElementRenderer: F => String): DrawSequentInProof[F, T]
Draws a sequent that is part of a sequent proof.
Draws a sequent that is part of a sequent proof.
Type parameters
- F
-
The type of elements of the sequent.
Value parameters
- cutAncestorIndices
-
The indices of cut ancestors.
- mainAuxIndices
-
The indices of main and aux formulas. Relevant for hiding contexts.
- parent
-
The DrawSequentProof object that this belongs to.
- seq
-
The sequent to be displayed.
- sequentElementRenderer
-
The function that turns elements of the sequent into strings.
Attributes
- Source
- DrawSequent.scala
def apply[F, M <: ProofToolViewer[_]](main: M, seq: Sequent[F], sequentElementRenderer: F => String): DrawSequent[F, M]
Draws a sequent.
Draws a sequent.
Type parameters
- F
-
The type of elements of the sequent.
Value parameters
- main
-
The main Prooftool window that this belongs to.
- seq
-
The sequent to be displayed.
- sequentElementRenderer
-
The function that turns elements of the sequent into strings.
Attributes
- Source
- DrawSequent.scala
In this article