gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.examples/gapt.examples.nd/negLeftRight1

negLeftRight1

gapt.examples.nd.negLeftRight1
object negLeftRight1 extends Script

Attributes

Source
lk_to_nd_examples.scala
Graph
Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self 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
Source
package.scala

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

Attributes

Source
lk_to_nd_examples.scala
val p: NegRightRule

Attributes

Source
lk_to_nd_examples.scala
val p1: LogicalAxiom

Attributes

Source
lk_to_nd_examples.scala
val p2: NegLeftRule

Attributes

Source
lk_to_nd_examples.scala
Generated with