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. case class ChangeFormulaColor(occurrences: Set[FormulaOccurrence], color: Color, reset: Boolean) extends Event with Product with Serializable

    Permalink
  3. case class ChangeSequentColor(seqList: OccSequent, color: Color, reset: Boolean) extends Event with Product with Serializable

    Permalink
  4. trait ContainsLKProof extends AnyRef

    Permalink

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

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

  6. trait DrawExpSeqLogger extends Logger

    Permalink
  7. class DrawExpansionSequent extends SplitPane with DrawExpSeqLogger

    Permalink

    This class takes care of drawing an ExpansionSequent.

  8. class DrawExpansionTree extends BoxPanel with Logger

    Permalink
  9. class DrawList extends GridPanel

    Permalink
  10. class DrawProof[T] extends BorderPanel with MouseMotionListener

    Permalink
  11. class DrawResolutionProof[T] extends BorderPanel with MouseMotionListener

    Permalink
  12. class DrawSequent[T] extends FlowPanel

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

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

    Permalink
  15. class DrawTree extends BorderPanel with MouseMotionListener

    Permalink
  16. class ExpansionSequentViewer extends ProofToolViewer[ExpansionSequent]

    Permalink

    ProofToolViewer for expansion sequents.

  17. class FileParser extends AnyRef

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

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

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

    Permalink

    A ProofToolViewer for LK proofs.

  21. class LKskProofViewer extends SequentProofViewer[LabelledFormula, LKskProof]

    Permalink

    A ProofToolViewer for LK proofs.

  22. class LatexLabel extends Label

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

    Permalink
  24. class MyLabel extends Label

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

    Permalink
  26. class OldLKViewer extends TreeProofViewer[OccSequent] with Savable[LKProof] with ContainsLKProof

    Permalink
  27. class PTContentPanel extends GridBagPanel with MouseMotionListener

    Permalink

    The panel containing the actual content of a ProofTool window.

  28. class PTScrollPane extends ScrollPane

    Permalink

    The main scrollpane used in ProofTool

  29. class PopupMenu extends Component with Wrapper

    Permalink
  30. class ProofColorizer extends Colorizer

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

    Permalink

    Wrapper from gapt proofs to TreeViz trees

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

    Permalink
  33. class ProofToolPublisher extends Publisher

    Permalink
  34. 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.

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

    Permalink
  36. class ReactiveSunburstModel extends SunburstModel

    Permalink
  37. 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.

  38. class ResolutionProofViewer[T] extends ProofToolViewer[Proof[T]]

    Permalink
  39. 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.

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

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

    Permalink
  42. case class ShowAllRulesOld[T](proof: TreeProof[T]) extends Event with Product with Serializable

    Permalink
  43. case class ShowOnly(formulas: Set[FormulaOccurrence], reset: Boolean) extends Event with Product with Serializable

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

    Permalink
  45. class Spinner[T] extends Component

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

    Permalink
  47. class TreeListPanel extends BoxPanel with DrawExpSeqLogger

    Permalink

    Class that displays a list of expansion trees.

  48. class TreeProofViewer[T] extends ProofToolViewer[TreeProof[T]]

    Permalink
  49. class TreeViewer[T] extends ProofToolViewer[Tree[T]]

    Permalink

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 Search

    Permalink
  15. object ShowLeaf extends Event with Product with Serializable

    Permalink
  16. object prooftool

    Permalink

Ungrouped