Package

at.logic.gapt

prooftool

Permalink

package prooftool

Content Hierarchy Learn more about scaladoc diagrams
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 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 DrawProof extends BorderPanel with MouseMotionListener

    Permalink
  9. class DrawResolutionProof extends BorderPanel with MouseMotionListener

    Permalink
  10. class DrawSingleSequentInference extends ScrollPane

    Permalink

    Created by marty on 3/26/14.

  11. class DrawTree extends BorderPanel with MouseMotionListener

    Permalink
  12. class FileParser extends AnyRef

    Permalink
  13. class FormulaBox[V] extends BorderPanel

    Permalink
  14. case class HideProof(proof: TreeProof[_]) extends Event with Product with Serializable

    Permalink
  15. class LatexLabel extends Label

    Permalink
  16. class Launcher extends GridBagPanel with MouseMotionListener

    Permalink
  17. class MenuScroller extends AnyRef

    Permalink
  18. class MyLabel extends Label

    Permalink
  19. class MyMenubar extends MenuBar

    Permalink

    Created by marty on 10/14/14.

    Created by marty on 10/14/14. The Menubar has not too much logic and mainly calls the Main object to perform tasks.

  20. class MyScrollPane extends ScrollPane

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

    Permalink
  22. class PopupMenu extends Component with Wrapper

    Permalink
  23. class ProofColorizer extends Colorizer

    Permalink
  24. case class ProofNode[T](proof: TreeProof[T]) extends TreeNode with Product with Serializable

    Permalink

    Created by marty on 3/18/14.

  25. class ProofNodeInfo[T] extends NodeInfo

    Permalink
  26. class ProofWeighter[T] extends Weighter

    Permalink
  27. class ReactiveSunburstModel extends SunburstModel

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

  29. case class ShowAllRules(proof: TreeProof[_]) extends Event with Product with Serializable

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

    Permalink
  31. case class ShowProof(proof: TreeProof[_]) extends Event with Product with Serializable

    Permalink
  32. class Spinner[T] extends Component

    Permalink
  33. class SunburstTreeDialog[T] extends Frame

    Permalink
  34. class TreeListPanel extends BoxPanel with DrawExpSeqLogger

    Permalink

    Class that displays a list of expansion trees.

Value Members

  1. object ACNFDialog extends Dialog

    Permalink
  2. object About

    Permalink
  3. object DisableMenus extends Event with Product with Serializable

    Permalink
  4. object DrawSequent

    Permalink
  5. object EnableMenus extends Event with Product with Serializable

    Permalink
  6. object ExpansionTreeState extends Enumeration

    Permalink
  7. object HideLeaf extends Event with Product with Serializable

    Permalink
  8. object HideStructuralRules extends Event with Product with Serializable

    Permalink
  9. object HideTree extends Event with Product with Serializable

    Permalink
  10. object LatexLabel

    Permalink
  11. object Loaded extends Event with Product with Serializable

    Permalink
  12. object Main extends SimpleSwingApplication

    Permalink
  13. object PopupMenu

    Permalink
  14. object ProofDbChanged extends Event with Product with Serializable

    Permalink
  15. object ProofToolPublisher extends Publisher

    Permalink
  16. object RGBColorChooser extends Dialog

    Permalink
  17. object Rainbow

    Permalink
  18. object Search

    Permalink
  19. object ShowLeaf extends Event with Product with Serializable

    Permalink
  20. object StructPublisher extends Publisher

    Permalink
  21. object TextAreaDialog extends Dialog

    Permalink
  22. object UnLoaded extends Event with Product with Serializable

    Permalink

Ungrouped