Packages

package tptp

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

Package Members

  1. package statistics

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. case class TptpFile(inputs: Seq[TptpInput]) extends Product with Serializable
  8. sealed class TptpFormulaRole extends AnyRef
  9. class TptpHOLExporter extends AnyRef
  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. case object TptpAxiom extends TptpFormulaRole with Product with Serializable
  5. case object TptpConjecture extends TptpFormulaRole with Product with Serializable
  6. case object TptpDefinition extends TptpFormulaRole with Product with Serializable
  7. object TptpFOLExporter
  8. 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

  9. object TptpHOLExporter extends TptpHOLExporter
  10. object TptpImporter
  11. case object TptpNegatedConjecture extends TptpFormulaRole with Product with Serializable
  12. object TptpProblemToResolution
  13. object TptpProofParser
  14. object TptpTerm
  15. object TptpToString
  16. object resolutionToTptp
  17. object resolveIncludes
  18. object sequentProofToTptp

Inherited from AnyRef

Inherited from Any

Ungrouped