Type Members

1.  abstract class AboveLinePanel[F, T <: SequentProof[F, T]] extends BoxPanel

   Abstract class for things that can be placed above a proof line (subproofs, labels).

2.  class CedentPanel extends BoxPanel

   Class for displaying a list of expansion trees and a title.

3.  class CollapsedSubproofsPanel[F, T <: SequentProof[F, T]] extends AboveLinePanel[F, T]

   Class that puts "(...)" above the proof line for a collapsed proof.

4.  class CommaLabel extends Label

   Label for displaying commas.

5.  trait ContainsLKProof extends ContainsSequentProof

   A trait for ProofToolViewer objects that contain (old or new) LK proofs.

6.  trait ContainsSequentProof extends AnyRef
7.  abstract class DagProofViewer[T <: DagProof[T]] extends ScrollableProofToolViewer[DagProof[T]]

   A ProofToolViewer for dag proofs.

   A ProofToolViewer for dag proofs.

   T

   The type of dag proof.

8.  class DrawETNonQuantifier extends DrawExpansionTree

   Draws an expansion tree not beginning with a quantifier block.

9.  class DrawETQuantifierBlock extends DrawExpansionTree

   Draws an expansion tree beginning with a quantifier block.

10.  class DrawExpansionSequent extends SplitPane

    This class takes care of drawing an ExpansionSequent.

11.  abstract class DrawExpansionTree extends BoxPanel

    Draws an expansion tree.

    Draws an expansion tree. Abstract because most of the work is done by subclasses for quantifier and non-quantifier nodes.

12.  class DrawList extends GridPanel
13.  class DrawSequent[F, M <: ProofToolViewer[_]] extends BoxPanel

    Draws a sequent.

    Draws a sequent.

    F

    The type of elements of the sequent.

14.  class DrawSequentInProof[F, T <: SequentProof[F, T]] extends DrawSequent[F, SequentProofViewer[F, T]]

    Draws a sequent that is part of a sequent proof.

    Draws a sequent that is part of a sequent proof.

    Unlike the general DrawSequent class, this contains logic relating to main/aux formulas and cut ancestors.

    F

    The type of elements of the sequent.

15.  class DrawSequentProof[F, T <: SequentProof[F, T]] extends BoxPanel with MouseMotionListener

    A panel containing a sequent proof.

16.  class DrawSingleSequentInference[F, T <: SequentProof[F, T]] extends ScrollPane
17.  class DrawStruct extends BorderPanel with MouseMotionListener
18.  class ExpansionSequentViewer extends ProofToolViewer[ExpansionSequent] with Savable[ExpansionSequent]

    ProofToolViewer for expansion sequents.

19.  class FileParser extends AnyRef
20.  case class HideEndSequent(pos: List[Int]) extends Event with Product with Serializable
21.  case class HideProof(pos: List[Int]) extends Event with Product with Serializable
22.  case class HideSequentProof(pos: List[Int]) extends Event with Product with Serializable
23.  class LKProofViewer extends SequentProofViewer[Formula, LKProof] with Savable[LKProof] with ContainsLKProof

    A ProofToolViewer for LK proofs.

24.  class LatexFormulaLabel extends LatexLabel

    LatexLabel for displaying formulas.

    LatexLabel for displaying formulas.

    The difference from plain LatexLabel is that it reacts to the mouse.

25.  class LatexLabel extends Label

    A label displaying an icon that is rendered using Latex.

26.  class LatexTurnstileLabel extends LatexLabel

    Latexlabel for displaying the turnstile symbol (u+22a2, ⊢)

27.  class ListViewer extends ScrollableProofToolViewer[List[HOLSequent]] with Savable[List[HOLSequent]]
28.  case class MarkOccurrences(p: List[Int], is: Set[SequentIndex]) extends Event with Product with Serializable
29.  class NDProofViewer extends SequentProofViewer[Formula, NDProof] with Savable[NDProof]
30.  case class NodeSelectedEvent(node: TreeNode) extends Event with Product with Serializable
31.  class PTContentPanel extends BorderPanel with MouseMotionListener

    The panel containing the actual content of a ProofTool window.

32.  class PTScrollPane extends ScrollPane

    The main scrollpane used in ProofTool

33.  class PopupMenu extends Component with Wrapper
34.  class ProofColorizer extends Colorizer
35.  class ProofLinePanel[F, T <: SequentProof[F, T]] extends BoxPanel

    Panel that contains an inference line and the name of the inference.

36.  case class ProofNode[T <: DagProof[T]](proof: DagProof[T]) extends TreeNode with Product with Serializable

    Wrapper from gapt proofs to TreeViz trees

37.  class ProofNodeInfo[T <: DagProof[T]] extends NodeInfo
38.  class ProofToolPublisher extends Publisher
39.  abstract class ProofToolViewer[+T] extends Reactor

    The main window of the ProofTool application.

    The main window of the ProofTool application.

    T

    The type of content.

40.  class ProofWeighter[T <: DagProof[T]] extends Weighter
41.  class ProoflinkLabelPanel[F, T <: SequentProof[F, T]] extends AboveLinePanel[F, T]

    Class that puts the name of a proof link above the proof line.

42.  trait ProoftoolViewable[-T] extends AnyRef

    A typeclass for things that can be displayed in Prooftool.

    A typeclass for things that can be displayed in Prooftool.

    T

    The type of the displayed object.

    Annotations

    @implicitNotFound()

43.  class ReactiveSunburstModel extends SunburstModel
44.  trait ReactiveSunburstView extends SunburstView with Publisher

    This is a wrapper around the Sunburst Tree from the treeviz library.

    This is a wrapper around the Sunburst Tree from the treeviz library. It provides a listener for the selection of a node in tree.

45.  trait Savable[T] extends ProofToolViewer[T]

    A trait for ProofToolViewer objects that can save their contents.

    A trait for ProofToolViewer objects that can save their contents.

    T

    The type of the content object.

46.  abstract class ScrollableProofToolViewer[+T] extends ProofToolViewer[T]

    A Prooftool window where the main component is contained in a ScrollPane.

    A Prooftool window where the main component is contained in a ScrollPane.

    T

    The type of content.

47.  class SequentProofViewer[F, T <: SequentProof[F, T]] extends DagProofViewer[T] with ContainsSequentProof

    A ProofToolViewer for sequent proofs.

    A ProofToolViewer for sequent proofs.

    T

    The type of sequent proof.

48.  case class ShowAllRules(pos: List[Int]) extends Event with Product with Serializable
49.  case class ShowProof(pos: List[Int]) extends Event with Product with Serializable
50.  case class ShowSequentProof(pos: List[Int]) extends Event with Product with Serializable
51.  class Spinner[T] extends Component
52.  class StructViewer extends ScrollableProofToolViewer[Struct]
53.  class SubproofsPanel[F, T <: SequentProof[F, T]] extends AboveLinePanel[F, T]

    A panel containing the subproofs of a proof arranged side by side.

54.  class SunburstTreeDialog[F, T <: SequentProof[F, T]] extends Frame
55.  class TreeListPanel extends BoxPanel

    Class that displays a list of expansion trees.