gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.provers/gapt.provers.slakje/ExpToLKMethod

ExpToLKMethod

gapt.provers.slakje.ExpToLKMethod
See theExpToLKMethod companion object
sealed trait ExpToLKMethod

Attributes

Companion
object
Source
intuitionist.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Heuristic.type
object MG3iViaSAT.type
object MG4ip.type

Members list

Value members

Abstract methods

def convert(exp: ExpansionProof)(implicit ctx: Context): Either[HOLSequent, LKProof]

Attributes

Source
intuitionist.scala

Concrete methods

def isComplete: Boolean

Attributes

Source
intuitionist.scala
Generated with