Instance Constructors
-
new
LKskProofViewer(name: String, proof: LKskProof)
Type Members
-
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
-
final
def
==(arg0: Any): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
val
chooser: FileChooser { val extensions: List[String] }
-
def
clone(): AnyRef
-
-
-
-
-
var
currentFontSize: Int
-
def
deafTo(ps: Publisher*): Unit
-
val
defaultFontSize: Int
-
val
dnLine: String
-
-
-
-
-
-
-
def
errorMessage(error: String): Unit
-
def
exportToPDFButton: MenuItem
-
def
exportToPNGButton: MenuItem
-
def
fExportPdf(component: Component): Unit
-
def
fExportPng(component: Component): Unit
-
def
fOpen(): Unit
-
def
fSaveAll(): Unit
-
def
fileMenuContents: Seq[Component { lazy val peer: javax.swing.JComponent with javax.swing.SwingConstants with javax.accessibility.Accessible }]
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
getExceptionString(e: Throwable): String
-
def
hashCode(): Int
-
def
hideSequentContext(): Unit
-
def
hideStructuralRules(): Unit
-
def
infoMessage(info: String): Unit
-
def
initSunburstDialog(name: String, proof: DagProof[LKskProof]): Unit
-
def
inputMessage(message: String, values: Seq[String]): Option[String]
-
final
def
isInstanceOf[T0]: Boolean
-
var
launcher_history: List[(String, AnyRef, Int)]
-
def
listenTo(ps: Publisher*): Unit
-
val
mBar: MenuBar
-
-
def
markCutAncestors(): Unit
-
val
name: String
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
openButton: MenuItem
-
-
def
questionMessage(question: String): scala.swing.Dialog.Result.Value
-
val
reactions: Reactions
-
def
removeMarking(): Unit
-
def
resizeContent(fSize: Int): Unit
-
-
def
showAllFormulas(): Unit
-
def
showAllRules(): Unit
-
def
showFrame(): Unit
-
def
sunburstView(): Unit
-
def
sunburstViewButton: MenuItem
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toParArray: ParArray[T]
-
def
toString(): String
-
lazy val
top: Frame
-
def
viewMenuContents: Seq[Component]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
warningMessage(warning: String): Unit
-
def
zoomIn(): Unit
-
def
zoomInButton: MenuItem
-
def
zoomOut(): Unit
-
def
zoomOutButton: MenuItem
-
A ProofToolViewer for LKsk proofs.