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

inductionRule

gapt.examples.nd.inductionRule
object inductionRule extends Script

Attributes

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

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 P0: FOLAtom
val PSx: FOLAtom
val Px: FOLAtom
val Sx: FOLTerm
val ax1: LogicalAxiom
val ax2: ProofLink
val focus: Some[Suc]
val lk: InductionRule
val nd: NDProof
val x: FOLVar
val zero: FOLConst

Implicits

Implicits

implicit val ctx: Context
Generated with