gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.testing/TheoryTestCase/AllTheories

AllTheories

gapt.testing.TheoryTestCase.AllTheories
object AllTheories extends Theory

Attributes

Source
regressionTests.scala
Graph
Supertypes
class Theory
class Theory0
class Object
trait Matchable
class Any
Self type

Members list

Type members

Inherited classlikes

case class LemmaHandle(proofName: Expr)

Captures an LKProof together with the set of previous lemmas used in it.

Captures an LKProof together with the set of previous lemmas used in it.

Attributes

Inherited from:
Theory
Source
logic.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object LemmaHandle

Attributes

Inherited from:
Theory
Source
logic.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any

Value members

Inherited methods

def allProofs: Vector[(String, Eval[DelayedProofResult])]

Attributes

Inherited from:
Theory
Source
logic.scala
def ctxWithProofDefinitions(): ImmutableContext

Attributes

Inherited from:
Theory
Source
logic.scala
def main(args: Array[String]): Unit

Attributes

Inherited from:
Theory
Source
logic.scala
def proof(name: String): LKProof

Attributes

Inherited from:
Theory
Source
logic.scala
def proofsHere: Vector[(String, Eval[DelayedProofResult])]

Attributes

Inherited from:
Theory0
Source
logic.scala

Inherited fields

val imports: List[Theory]

Attributes

Inherited from:
Theory0
Source
logic.scala
val transitiveImports: Vector[Theory]

Attributes

Inherited from:
Theory
Source
logic.scala

Implicits

Inherited implicits

implicit def ctx: Context

Attributes

Inherited from:
Theory0
Source
logic.scala
Generated with