gapt
2.20.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.prooftool/NDProofViewer

NDProofViewer

gapt.prooftool.NDProofViewer
class NDProofViewer(name: String, proof: NDProof) extends SequentProofViewer[Formula, NDProof], Savable[DagProof[NDProof]]

Attributes

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

Members list

Type members

Inherited types

Value members

Concrete methods

def saveFormats: Map[String, DagProof[NDProof] => String]

Attributes

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[NDProof]): 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[NDProof]): 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
override def viewMenuContents: Seq[Component]

Attributes

Returns

The contents of the "View" menu.

Definition Classes
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[NDProof]

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