gapt.prooftool.StructViewer.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.prooftool
import gapt.proofs.ceres.Struct
class StructViewer(name: String, tree: Struct) extends ScrollableProofToolViewer[Struct](name, tree) {
override type MainComponentType = DrawStruct
override def createMainComponent = new DrawStruct(this, tree, "")
}