Package

at.logic.gapt

prooftool

Permalink

package prooftool

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. class CedentPanel extends BoxPanel with DrawExpSeqLogger

    Permalink

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

  2. trait ContainsLKProof extends AnyRef

    Permalink

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

  3. abstract class DagProofViewer[T <: DagProof[T]] extends ProofToolViewer[DagProof[T]]

    Permalink

    A ProofToolViewer for dag proofs.

    A ProofToolViewer for dag proofs.

    T

    The type of dag proof..

  4. trait DrawExpSeqLogger extends Logger

    Permalink
  5. class DrawExpansionSequent extends SplitPane with DrawExpSeqLogger

    Permalink

    This class takes care of drawing an ExpansionSequent.

  6. class DrawExpansionTree extends BoxPanel with Logger

    Permalink
  7. class DrawList extends GridPanel

    Permalink
  8. class DrawSequent[T] extends FlowPanel

    Permalink
  9. class DrawSequentProof[F, T <: SequentProof[F, T]] extends BorderPanel with MouseMotionListener

    Permalink
  10. class DrawSingleSequentInference[F, T <: SequentProof[F, T]] extends ScrollPane

    Permalink
  11. class DrawStruct[D] extends BorderPanel with MouseMotionListener

    Permalink
  12. class ExpansionSequentViewer extends ProofToolViewer[ExpansionSequent]

    Permalink

    ProofToolViewer for expansion sequents.

  13. class FileParser extends AnyRef

    Permalink
  14. case class HideEndSequent[T <: DagProof[T]](proof: DagProof[T]) extends Event with Product with Serializable

    Permalink
  15. case class HideProof[T <: DagProof[T]](proof: DagProof[T]) extends Event with Product with Serializable

    Permalink
  16. case class HideSequentProof(pos: List[Int]) extends Event with Product with Serializable

    Permalink
  17. class LKProofViewer extends SequentProofViewer[HOLFormula, LKProof] with Savable[LKProof] with ContainsLKProof

    Permalink

    A ProofToolViewer for LK proofs.

  18. class LKskProofViewer extends SequentProofViewer[LabelledFormula, LKskProof]

    Permalink

    A ProofToolViewer for LKsk proofs.

  19. class LatexLabel extends Label

    Permalink
  20. class ListViewer extends ProofToolViewer[List[HOLSequent]] with Savable[List[HOLSequent]]

    Permalink
  21. class MyLabel extends Label

    Permalink
  22. case class NodeSelectedEvent(node: TreeNode) extends Event with Product with Serializable

    Permalink
  23. class PTContentPanel extends GridBagPanel with MouseMotionListener

    Permalink

    The panel containing the actual content of a ProofTool window.

  24. class PTScrollPane extends ScrollPane

    Permalink

    The main scrollpane used in ProofTool

  25. class PopupMenu extends Component with Wrapper

    Permalink
  26. class ProofColorizer extends Colorizer

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

    Permalink

    Wrapper from gapt proofs to TreeViz trees

  28. class ProofNodeInfo[T <: DagProof[T]] extends NodeInfo

    Permalink
  29. class ProofToolPublisher extends Publisher

    Permalink
  30. abstract class ProofToolViewer[+T] extends Reactor

    Permalink

    The main window of the ProofTool application.

    The main window of the ProofTool application.

    T

    The type of content.

  31. class ProofWeighter[T <: DagProof[T]] extends Weighter

    Permalink
  32. class ReactiveSunburstModel extends SunburstModel

    Permalink
  33. trait ReactiveSunburstView extends SunburstView with Publisher

    Permalink

    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.

  34. trait Savable[-T] extends AnyRef

    Permalink

    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.

  35. class SequentProofViewer[F, T <: SequentProof[F, T]] extends DagProofViewer[T]

    Permalink

    A ProofToolViewer for sequent proofs.

    A ProofToolViewer for sequent proofs. Used for LKsk and RAL proofs.

    T

    The type of sequent proof.

  36. case class ShowAllRules[T <: DagProof[T]](proof: DagProof[T]) extends Event with Product with Serializable

    Permalink
  37. case class ShowProof[T <: DagProof[T]](proof: DagProof[T]) extends Event with Product with Serializable

    Permalink
  38. case class ShowSequentProof(pos: List[Int]) extends Event with Product with Serializable

    Permalink
  39. class Spinner[T] extends Component

    Permalink
  40. class StructViewer[D] extends ProofToolViewer[Struct[D]]

    Permalink
  41. class SunburstTreeDialog[F, T <: SequentProof[F, T]] extends Frame

    Permalink
  42. class TreeListPanel extends BoxPanel with DrawExpSeqLogger

    Permalink

    Class that displays a list of expansion trees.

Value Members

  1. object DisableMenus extends Event with Product with Serializable

    Permalink
  2. object DrawSequent

    Permalink
  3. object EnableMenus extends Event with Product with Serializable

    Permalink
  4. object ExpansionTreeState extends Enumeration

    Permalink
  5. object HideLeaf extends Event with Product with Serializable

    Permalink
  6. object HideStructuralRules extends Event with Product with Serializable

    Permalink
  7. object HideTree extends Event with Product with Serializable

    Permalink
  8. object LatexLabel

    Permalink
  9. object MenuButtons

    Permalink

    An object that contains some common menu buttons.

  10. object PopupMenu

    Permalink
  11. object ProofDbChanged extends Event with Product with Serializable

    Permalink
  12. object RGBColorChooser extends Dialog

    Permalink
  13. object Rainbow

    Permalink
  14. object ShowLeaf extends Event with Product with Serializable

    Permalink
  15. object prooftool

    Permalink

Ungrouped