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

demorgan1

gapt.examples.nd.demorgan1
object demorgan1 extends Script

Attributes

Graph
Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
demorgan1.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 p1: AndRightRule
val p2: ContractionLeftRule
val r1: LogicalAxiom
val r2: WeakeningRightRule
val r3: OrRightRule
val r4: NegLeftRule
val r5: NegRightRule
val s1: LogicalAxiom
val s2: WeakeningRightRule
val s3: OrRightRule
val s4: NegLeftRule
val s5: NegRightRule
Generated with