Packages

p

at.logic.gapt

prooftool

package prooftool

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. prooftool
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class CedentPanel extends BoxPanel

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

  2. class CommaLabel extends Label

    Label for displaying commas.

  3. trait ContainsLKProof extends ContainsSequentProof

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

  4. trait ContainsSequentProof extends AnyRef
  5. 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.

  6. class DrawETNonQuantifier extends DrawExpansionTree

    Draws an expansion tree not beginning with a quantifier block.

  7. class DrawETQuantifierBlock extends DrawExpansionTree

    Draws an expansion tree beginning with a quantifier block.

  8. class DrawExpansionSequent extends SplitPane

    This class takes care of drawing an ExpansionSequent.

  9. 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.

  10. class DrawList extends GridPanel
  11. class DrawSequent [F, M <: ProofToolViewer[_]] extends BoxPanel

    Draws a sequent.

    Draws a sequent.

    F

    The type of elements of the sequent.

  12. 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.

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

    A panel containing a sequent proof.

  14. class DrawSingleSequentInference [F, T <: SequentProof[F, T]] extends ScrollPane
  15. class DrawStruct [D] extends BorderPanel with MouseMotionListener
  16. class ExpansionSequentViewer extends ProofToolViewer[ExpansionSequent]

    ProofToolViewer for expansion sequents.

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

    A ProofToolViewer for LK proofs.

  22. class LatexFormulaLabel extends LatexLabel

    LatexLabel for displaying formulas.

    LatexLabel for displaying formulas.

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

  23. class LatexLabel extends Label

    A label displaying an icon that is rendered using Latex.

  24. class LatexTurnstileLabel extends LatexLabel

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

  25. class ListViewer extends ScrollableProofToolViewer[List[HOLSequent]] with Savable[List[HOLSequent]]
  26. case class MarkAncestors (p: List[Int], is: Set[SequentIndex]) extends Event with Product with Serializable
  27. case class MarkDescendants (p: List[Int], is: Set[SequentIndex]) extends Event with Product with Serializable
  28. case class NodeSelectedEvent (node: TreeNode) extends Event with Product with Serializable
  29. class PTContentPanel extends BorderPanel with MouseMotionListener

    The panel containing the actual content of a ProofTool window.

  30. class PTScrollPane extends ScrollPane

    The main scrollpane used in ProofTool

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

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

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

    Wrapper from gapt proofs to TreeViz trees

  35. class ProofNodeInfo [T <: DagProof[T]] extends NodeInfo
  36. class ProofToolPublisher extends Publisher
  37. 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.

  38. class ProofWeighter [T <: DagProof[T]] extends Weighter
  39. 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( ... )
  40. class ReactiveSunburstModel extends SunburstModel
  41. 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.

  42. trait Savable [-T] extends AnyRef

    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.

  43. 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.

  44. 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.

  45. case class ShowAllRules (pos: List[Int]) extends Event with Product with Serializable
  46. case class ShowProof (pos: List[Int]) extends Event with Product with Serializable
  47. case class ShowSequentProof (pos: List[Int]) extends Event with Product with Serializable
  48. class Spinner [T] extends Component
  49. class StructViewer [D] extends ScrollableProofToolViewer[Struct[D]]
  50. class SubproofsPanel [F, T <: SequentProof[F, T]] extends BoxPanel

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

  51. class SunburstTreeDialog [F, T <: SequentProof[F, T]] extends Frame
  52. class TreeListPanel extends BoxPanel

    Class that displays a list of expansion trees.

Value Members

  1. implicit def EitherViewable[T, S](implicit arg0: ProoftoolViewable[T]): ProoftoolViewable[Either[S, T]]
  2. implicit val ExpansionProofViewable: ProoftoolViewable[ExpansionProof]
  3. implicit val ExpansionProofWithCutViewable: ProoftoolViewable[ExpansionProofWithCut]
  4. implicit val LKProofViewable: ProoftoolViewable[LKProof]
  5. implicit val ListViewable: ProoftoolViewable[Iterable[HOLSequent]]
  6. implicit def OptionViewable[T](implicit arg0: ProoftoolViewable[T]): ProoftoolViewable[Option[T]]
  7. implicit val ProofDatabaseViewable: ProoftoolViewable[ExtendedProofDatabase]
  8. implicit def SequentProofViewable[F, T <: SequentProof[F, T]](implicit notLK: Not[<:<[T, LKProof]]): ProoftoolViewable[SequentProof[F, T]]
  9. implicit val SequentViewable: ProoftoolViewable[HOLSequent]
  10. implicit def StructViewable[D]: ProoftoolViewable[Struct[D]]
  11. object AlignmentChanged extends Event with Product with Serializable
  12. object DrawExpansionTree

    Factory object.

  13. object DrawSequent
  14. object ETQuantifierBlock
  15. object ETStrongQuantifierBlock
  16. object ExpansionTreeState extends Enumeration
  17. object FontChanged extends Event with Product with Serializable
  18. object HideDebugBorders extends Event with Product with Serializable
  19. object HideLeaf extends Event with Product with Serializable
  20. object HideSequentContexts extends Event with Product with Serializable
  21. object HideStructuralRules extends Event with Product with Serializable
  22. object HideTree extends Event with Product with Serializable
  23. object LatexIcon

    Creates Latex icons from strings.

  24. object LatexLabel
  25. object MarkCutAncestors extends Event with Product with Serializable
  26. object MenuButtons

    An object that contains some common menu buttons.

  27. object PopupMenu
  28. object ProoftoolViewable
  29. object RGBColorChooser extends Dialog
  30. object Rainbow
  31. object ShowAllFormulas extends Event with Product with Serializable
  32. object ShowDebugBorders extends Event with Product with Serializable
  33. object ShowLeaf extends Event with Product with Serializable
  34. object UnmarkAllFormulas extends Event with Product with Serializable
  35. object UnmarkCutAncestors extends Event with Product with Serializable
  36. object prooftool

Inherited from AnyRef

Inherited from Any

Ungrouped