package tptp
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: HOLFormula, annotations: Seq[GeneralTerm]) extends TptpInput with Product with Serializable
- type FormulaRole = String
- type GeneralTerm = LambdaExpression
- case class IncludeDirective (fileName: String, formulaSelection: Option[Seq[String]]) extends TptpInput with Product with Serializable
- type InfoItem = LambdaExpression
- 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[LambdaExpression]): HOLAtom
- 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