package tptp
- Source
- package.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- tptp
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- case class AnnotatedFormula(language: String, name: String, role: FormulaRole, formula: Formula, annotations: Seq[GeneralTerm]) extends TptpInput with Product with Serializable
- type FormulaRole = String
- type GeneralTerm = Expr
- case class IncludeDirective(fileName: String, formulaSelection: Option[Seq[String]]) extends TptpInput with Product with Serializable
- type InfoItem = Expr
- sealed class TPTPFormulaRole extends AnyRef
- class TPTPHOLExporter extends AnyRef
- case class TptpFile(inputs: Seq[TptpInput]) extends Product with Serializable
- sealed trait TptpInput extends AnyRef
- class TptpParser extends Parser
Value Members
- def TptpAtom(sym: String, args: Seq[Expr]): Atom
- object GeneralColon
- object GeneralList
- object TPTPAxiom extends TPTPFormulaRole with Product with Serializable
- object TPTPConjecture extends TPTPFormulaRole with Product with Serializable
- object TPTPDefinition extends TPTPFormulaRole with Product with Serializable
- object TPTPFOLExporter
- object TPTPHOLExporter extends TPTPHOLExporter
- object TPTPNegatedConjecture extends TPTPFormulaRole with Product with Serializable
- object TptpParser
- object TptpProofParser
- object TptpTerm
- object resolutionToTptp
- object resolveIncludes
- object tptpProblemToResolution
- object tptpToString
This is the API documentation for GAPT.
The main package is at.logic.gapt.