gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.tptp/sequentProofToTptp

sequentProofToTptp

gapt.formats.tptp.sequentProofToTptp
See thesequentProofToTptp companion object
class sequentProofToTptp[Proof <: SequentProof[Formula, Proof]]

Attributes

Companion
object
Source
sequentProofToTptp.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def apply(proof: Proof): TptpFile

Attributes

Source
sequentProofToTptp.scala
def line(label: String, role: FormulaRole, inf: Proof, annotations: Seq[GeneralTerm]): TptpInput

Attributes

Source
sequentProofToTptp.scala
Generated with