gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.examples/gapt.examples.hoare/addition

addition

gapt.examples.hoare.addition
object addition extends Script

Attributes

Source
addition.scala
Graph
Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
addition.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 A: FOLFormula

Attributes

Source
addition.scala
val B: FOLFormula

Attributes

Source
addition.scala
val deepSequent: Sequent[Formula]

Attributes

Source
addition.scala
val f: FOLFormula

Attributes

Source
addition.scala
val g: List[FOLFormula]

Attributes

Source
addition.scala
val g_p0: FOLFormula

Attributes

Source
addition.scala
val g_ps: FOLFormula

Attributes

Source
addition.scala
val instanceSeq: Sequent[FOLFormula]

Attributes

Source
addition.scala
val p: Program

Attributes

Source
addition.scala
val proof: LKProof

Attributes

Source
addition.scala
val slp: SimpleLoopProblem

Attributes

Source
addition.scala
Generated with