Packages

package tptp

Source
package.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. tptp
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class AnnotatedFormula(language: String, name: String, role: FormulaRole, formula: Formula, annotations: Seq[GeneralTerm]) extends TptpInput with Product with Serializable
  2. type FormulaRole = String
  3. type GeneralTerm = Expr
  4. case class IncludeDirective(fileName: String, formulaSelection: Option[Seq[String]]) extends TptpInput with Product with Serializable
  5. type InfoItem = Expr
  6. class MalformedInputFileException extends IllegalArgumentException

    Represents a malformed input file e.g.

    Represents a malformed input file e.g. one that contains an unknown parent step

  7. sealed class TPTPFormulaRole extends AnyRef
  8. class TPTPHOLExporter extends AnyRef
  9. case class TptpFile(inputs: Seq[TptpInput]) extends Product with Serializable
  10. sealed trait TptpInput extends AnyRef
  11. class TptpParser extends Parser
  12. class sequentProofToTptp[Proof <: SequentProof[Formula, Proof]] extends AnyRef

Value Members

  1. def TptpAtom(sym: String, args: Seq[Expr]): Atom
  2. object GeneralColon
  3. object GeneralList
  4. object TPTPAxiom extends TPTPFormulaRole with Product with Serializable
  5. object TPTPConjecture extends TPTPFormulaRole with Product with Serializable
  6. object TPTPDefinition extends TPTPFormulaRole with Product with Serializable
  7. object TPTPFOLExporter
  8. object TPTPHOLExporter extends TPTPHOLExporter
  9. object TPTPNegatedConjecture extends TPTPFormulaRole with Product with Serializable
  10. object TptpFormulaRoles

    The roles of valid formula assertions in a TPTP file.

    The roles of valid formula assertions in a TPTP file.

    See also

    http://tptp.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html#formula_role

  11. object TptpParser
  12. object TptpProofParser
  13. object TptpTerm
  14. object resolutionToTptp
  15. object resolveIncludes
  16. object sequentProofToTptp
  17. object tptpProblemToResolution
  18. object tptpToString

Inherited from AnyRef

Inherited from Any

Ungrouped