gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.prooftool/LKProofViewer

LKProofViewer

gapt.prooftool.LKProofViewer
class LKProofViewer(name: String, proof: LKProof) extends SequentProofViewer[Formula, LKProof], Savable[DagProof[LKProof]], ContainsLKProof

A ProofToolViewer for LK proofs.

Value parameters

name

The name to be displayed at the top.

proof

The proof to be displayed.

Attributes

Source
SequentProofViewer.scala
Graph
Supertypes
trait Reactor
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

override type MainComponentType = DrawSequentProof[F, T]

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala

Value members

Concrete methods

def expansionTree(): Unit

Displays the expansion proof of proof in a new window.

Displays the expansion proof of proof in a new window.

Attributes

Source
SequentProofViewer.scala
def hideStructuralRules(): Unit

Hides structural rules in the proof.

Hides structural rules in the proof.

Attributes

Source
SequentProofViewer.scala
def hideStructuralRulesButton: CheckMenuItem

Attributes

Source
SequentProofViewer.scala
def markCutAncestors(): Unit

Marks the ancestors of cut formulas.

Marks the ancestors of cut formulas.

Attributes

Source
SequentProofViewer.scala
def markCutAncestorsButton: CheckMenuItem

Attributes

Source
SequentProofViewer.scala
def showAllRules(): Unit

Shows all rules in the proof.

Shows all rules in the proof.

Attributes

Source
SequentProofViewer.scala
def unmarkCutAncestors(): Unit

Unmarks the ancestors of cut formulas.

Unmarks the ancestors of cut formulas.

Attributes

Source
SequentProofViewer.scala
def viewExpansionProofButton: MenuItem

Attributes

Source
SequentProofViewer.scala
override def viewMenuContents: Seq[Component]

Attributes

Returns

The contents of the "View" menu.

Definition Classes
Source
SequentProofViewer.scala

Inherited methods

def contentPanel: PTContentPanel

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
override def contentPanel_=(p: PTContentPanel): Unit

Attributes

Definition Classes
Inherited from:
ScrollableProofToolViewer
Source
ProofToolViewer.scala
protected def createChooser(extensions: String*): FileChooser

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
override def createMainComponent: MainComponentType

Attributes

Definition Classes
Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def currentFontSize: Int

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def currentFontSize_=(sz: Int): Unit

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def deafTo(ps: Publisher*): Unit

Installed reaction won't receive events from the given publisher anylonger.

Installed reaction won't receive events from the given publisher anylonger.

Attributes

Inherited from:
Reactor
Source
Reactor.scala
def debugMenuContents: Seq[Component]

Attributes

Returns

The contents of the "Debug" menu.

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def decreaseFontSize(): Unit

Zooms out by multiplying font size by 2/3.

Zooms out by multiplying font size by 2/3.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def errorMessage(error: String): Unit

Displays an error message.

Displays an error message.

Value parameters

error

The text of the message.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def exportToPDFButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def exportToPNGButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def fExportPdf(component: Component): Unit

Exports a component as a pdf.

Exports a component as a pdf.

Value parameters

component

The component to be exported.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def fExportPng(component: Component): Unit

Exports a component as a PNG.

Exports a component as a PNG.

Value parameters

component

The component to be exported.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def fOpen(): Unit

Opens a proof db and displays all its contents.

Opens a proof db and displays all its contents.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def fSave(name: String, obj: DagProof[LKProof]): Unit

Saves an object to disk.

Saves an object to disk.

Value parameters

obj

The object to be saved.

Attributes

Inherited from:
Savable
Source
ProofToolViewer.scala
override def fileMenuContents: Seq[Component]

Attributes

Returns

The contents of the "File" menu.

Definition Classes
Inherited from:
Savable
Source
ProofToolViewer.scala
def font: Font

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def font_=(ft: Font): Unit

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def getExceptionString(e: Throwable): String

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def hideContextsButton: CheckMenuItem

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def hideSequentContext(): Unit

Hides all formulas except main and auxiliary ones.

Hides all formulas except main and auxiliary ones.

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def increaseFontSize(): Unit

Zooms in by multiplying font size by 3/2.

Zooms in by multiplying font size by 3/2.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def infoMessage(info: String): Unit

Displays an info message.

Displays an info message.

Value parameters

info

The text of the message.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def initSunburstDialog(name: String, proof: DagProof[LKProof]): Unit

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def inputMessage(message: String, values: Seq[String]): Option[String]

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def listenTo(ps: Publisher*): Unit

Listen to the given publisher as long as deafTo isn't called for them.

Listen to the given publisher as long as deafTo isn't called for them.

Attributes

Inherited from:
Reactor
Source
Reactor.scala
override def mainPanel: Component

Attributes

Definition Classes
Inherited from:
ScrollableProofToolViewer
Source
ProofToolViewer.scala
def markAncestors(pos: List[Int], is: Set[SequentIndex]): Unit

Marks the ancestors of the given formulas in the given proof.

Marks the ancestors of the given formulas in the given proof.

Value parameters

is

A set of indices in the end sequent of the subproof at pos.

pos

The position of a subproof.

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def markAncestorsAndDescendants(pos: List[Int], is: Set[SequentIndex]): Unit

Marks the ancestors and descendants of the given formulas in the given proof.

Marks the ancestors and descendants of the given formulas in the given proof.

Value parameters

is

A set of indices in the end sequent of the subproof at pos.

pos

The position of a subproof.

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def markDescendants(pos: List[Int], is: Set[SequentIndex]): Unit

Marks the descendants of the given formulas in the given proof.

Marks the descendants of the given formulas in the given proof.

Value parameters

is

A set of indices in the end sequent of the subproof at pos.

pos

The position of a subproof.

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
protected def openButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def questionMessage(question: String): Value

Displays a question.

Displays a question.

Value parameters

question

The text of the question.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def removeAllMarkings(): Unit

Removes all markings.

Removes all markings.

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def removeAllMarkingsButton: MenuItem

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def resizeContent(fSize: Int): Unit

Resizes the content to a new font size.

Resizes the content to a new font size.

Value parameters

fSize

The new font size.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def showAllFormulas(): Unit

Shows all formulas in the proof

Shows all formulas in the proof

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
protected def showDebugBordersButton: CheckMenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def showFrame(): Unit

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def sunburstView(): Unit

Displays the dag proof in sunburst form.

Displays the dag proof in sunburst form.

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def sunburstViewButton: MenuItem

Attributes

Inherited from:
SequentProofViewer
Source
SequentProofViewer.scala
def warningMessage(warning: String): Unit

Displays a warning message.

Displays a warning message.

Value parameters

warning

The text of the message.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def zoomInButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def zoomOutButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala

Inherited fields

var DEBUG: Boolean

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val content: DagProof[LKProof]

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected var contentPanel_: PTContentPanel

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val defaultFontSize: Int

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val dnLine: String

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
var launcher_history: List[(String, AnyRef, Int)]

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val mBar: MenuBar

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val mainComponent: MainComponentType

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected val nLine: String

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val publisher: ProofToolPublisher

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val reactions: Reactions

All reactions of this reactor.

All reactions of this reactor.

Attributes

Inherited from:
Reactor
Source
Reactor.scala
lazy val scrollPane: PTScrollPane

Attributes

Inherited from:
ScrollableProofToolViewer
Source
ProofToolViewer.scala
lazy val top: Frame

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
Generated with