gapt-examples
API
Generated with
gapt-examples/gapt.examples/gapt.examples.nd/ex0_1_6

ex0_1_6

gapt.examples.nd.ex0_1_6
object ex0_1_6 extends Script

Attributes

Graph
Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
ex0_1_6.type

Members list

Value members

Inherited methods

final protected def args: Array[String]

Attributes

Inherited from:
App
final def main(args: Array[String]): Unit

Attributes

Inherited from:
App
def run(): Unit

Attributes

Inherited from:
Script

Deprecated and Inherited methods

override def delayedInit(body: => Unit): Unit

Attributes

Deprecated
[Since version 2.11.0] the delayedInit mechanism will disappear
Definition Classes
Inherited from:
App

Concrete fields

val nd: NDProof
val s1: LogicalAxiom
val s10: ContractionRightRule
val s2: WeakeningLeftRule
val s3: WeakeningRightRule
val s4: ImpRightRule
val s5: ImpRightRule
val s6: WeakeningRightRule
val s7: WeakeningRightRule
val s8: OrRightRule
val s9: OrRightRule
Generated with