Packages

package tptp

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. sealed class TPTPFormulaRole extends AnyRef
  7. class TPTPHOLExporter extends AnyRef
  8. case class TptpFile (inputs: Seq[TptpInput]) extends Product with Serializable
  9. sealed trait TptpInput extends AnyRef
  10. class TptpParser extends Parser

Inherited from AnyRef

Inherited from Any

Ungrouped