gapt-examples
API
Generated with
gapt-examples/gapt.examples/gapt.examples.theories/Theory/DelayedProofResult

DelayedProofResult

gapt.examples.theories.Theory.DelayedProofResult
See theDelayedProofResult companion object
case class DelayedProofResult(proofName: Expr, usedLemmas: Seq[(Expr, Formula)], proof: LKProof)

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def inst(proofNameInst: Expr): DelayedProofResult
def updates: Seq[ProofDefinitionDeclaration]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

val name: String
Generated with