gapt.prooftool.DrawSequent
See theDrawSequent companion class
Attributes
- Companion
-
class
- Source
-
DrawSequent.scala
- Graph
-
- Supertypes
-
class Object
trait Matchable
class Any
- Self type
-
Members list
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
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