gapt-examples
API
Generated with
gapt-examples/gapt.examples/gapt.examples.hoare/array_init

array_init

gapt.examples.hoare.array_init
object array_init extends Script

Attributes

Graph
Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
array_init.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 deepSequent: Sequent[Formula]
val expansionSequent: Sequent[ExpansionTree]
val f: FOLFormula
val g: List[FOLFormula]
val g_0l: FOLFormula
val g_ge: FOLFormula
val g_gn: FOLFormula
val g_l0: FOLFormula
val g_lr: FOLFormula
val g_ls: FOLFormula
val g_s: FOLFormula
val g_sl: FOLFormula
val instanceSeq: Sequent[FOLFormula]
val p: Program
val proof: LKProof
val slp: SimpleLoopProblem
Generated with