Object

at.logic.gapt.prooftool

Main

Related Doc: package prooftool

Permalink

object Main extends SimpleSwingApplication

Linear Supertypes
SimpleSwingApplication, SwingApplication, Reactor, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Main
  2. SimpleSwingApplication
  3. SwingApplication
  4. Reactor
  5. AnyRef
  6. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. var DEBUG: Boolean

    Permalink
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. val body: MyScrollPane

    Permalink
  7. def clearLauncher(): Unit

    Permalink
  8. def clearLauncherHistory(): Unit

    Permalink
  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def computeACNF(): Unit

    Permalink
  11. def computeClList(): Unit

    Permalink
  12. def computeClListOnlyQuantifiedCuts(): Unit

    Permalink
  13. def computeInstance(): Unit

    Permalink
  14. def computeProjections(): Unit

    Permalink
  15. def computeSchematicClauseSet(): Unit

    Permalink
  16. def computeSchematicProjectionTerm(): Unit

    Permalink
  17. def computeSchematicStruct(): Unit

    Permalink
  18. def computeStruct(): Unit

    Permalink
  19. def computeStructOnlyQuantifiedCuts(): Unit

    Permalink
  20. val db: FileParser

    Permalink
  21. def deafTo(ps: Publisher*): Unit

    Permalink
    Definition Classes
    Reactor
  22. val defaultFontSize: Int

    Permalink
  23. def display(name: String, obj: AnyRef): Unit

    Permalink
  24. def displaySunburst[T](name: String, proof: TreeProof[T]): Unit

    Permalink
  25. val dnLine: String

    Permalink
  26. def eliminateDefsLK(): Unit

    Permalink
  27. def eliminateDefsLKsk(): Unit

    Permalink
  28. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  30. def errorMessage(error: String): Unit

    Permalink
  31. def expansionTree(): Unit

    Permalink
  32. def extractCutFormulas(): Unit

    Permalink
  33. def fExit(): Unit

    Permalink
  34. def fExportPdf(componentOption: Option[Component]): Unit

    Permalink
  35. def fExportPng(componentOption: Option[Component]): Unit

    Permalink
  36. def fOpen(): Unit

    Permalink
  37. def fSave(pair: (String, AnyRef)): Unit

    Permalink
  38. def fSaveAll(): Unit

    Permalink
  39. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  40. def focusNextCut(): Unit

    Permalink
  41. def gentzen(proof: LKProof): Unit

    Permalink
  42. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  43. def getExceptionString(e: Throwable): String

    Permalink
  44. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  45. def hideAllFormulas(): Unit

    Permalink
  46. def hideSequentContext(): Unit

    Permalink
  47. def infoMessage(info: String): Unit

    Permalink
  48. def initSunburstDialog(name: String, proof: TreeProof[_]): Unit

    Permalink
  49. def inputMessage(message: String, values: Seq[String]): Option[String]

    Permalink
  50. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  51. var launcher_history: List[(String, AnyRef, Int)]

    Permalink
  52. def listenTo(ps: Publisher*): Unit

    Permalink
    Definition Classes
    Reactor
  53. def load(option: Option[(String, AnyRef)], fontSize: Int): Unit

    Permalink
  54. def loadClauseSet(clList: (String, List[_])): Unit

    Permalink
  55. def loadProof(path: String, fontSize: Int): Unit

    Permalink
  56. def loadProof(proof: (String, TreeProof[_])): Unit

    Permalink
  57. def loadProof(proof: LKProof): Unit

    Permalink
  58. def loadResolutionProof(proof: (String, Proof[_])): Unit

    Permalink
  59. def loadStruct(struct: (String, Tree[_])): Unit

    Permalink
  60. val mBar: MyMenubar

    Permalink
  61. def main(args: Array[String]): Unit

    Permalink
    Definition Classes
    SwingApplication
  62. def markCutAncestors(): Unit

    Permalink
  63. def markOmegaAncestors(): Unit

    Permalink
  64. val nLine: String

    Permalink
  65. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  66. def newgentzen(proof: LKProof): Unit

    Permalink
  67. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  68. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  69. def questionMessage(question: String): scala.swing.Dialog.Result.Value

    Permalink
  70. def quit(): Unit

    Permalink
    Definition Classes
    SwingApplication
  71. val reactions: Reactions

    Permalink
    Definition Classes
    Reactor
  72. def regularizeProof(): Unit

    Permalink
  73. def resetCuts(): Unit

    Permalink
  74. def resourceFromClassloader(path: String): URL

    Permalink
    Definition Classes
    SimpleSwingApplication
  75. def resourceFromUserDirectory(path: String): File

    Permalink
    Definition Classes
    SimpleSwingApplication
  76. def scrollToProof(proof: TreeProof[_]): Unit

    Permalink
  77. def search(): Unit

    Permalink
  78. def selectProofFromDB(fontSize: Int): Unit

    Permalink
  79. def setSearchResult(l: List[LKProof]): Unit

    Permalink
  80. def showAllFormulas(): Unit

    Permalink
  81. def showFrame(): Unit

    Permalink
  82. def shutdown(): Unit

    Permalink
    Definition Classes
    SwingApplication
  83. def skolemizeProof(): Unit

    Permalink
  84. def specifyResolutionSchema(): Unit

    Permalink
  85. def startup(args: Array[String]): Unit

    Permalink
    Definition Classes
    Main → SimpleSwingApplication → SwingApplication
  86. def sunburstView(): Unit

    Permalink
  87. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  88. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  89. lazy val top: MainFrame

    Permalink
    Definition Classes
    Main → SimpleSwingApplication
  90. def updateLauncher(name: String, proofobject: AnyRef, fSize: Int): Unit

    Permalink
  91. def updateWithLastLauncher(): Unit

    Permalink
  92. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  93. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  94. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  95. def warningMessage(warning: String): Unit

    Permalink
  96. def zoomIn(): Unit

    Permalink
  97. def zoomOut(): Unit

    Permalink

Inherited from SimpleSwingApplication

Inherited from SwingApplication

Inherited from Reactor

Inherited from AnyRef

Inherited from Any

Ungrouped