Package

at.logic.gapt.formats

tptp

Permalink

package tptp

Source
package.scala
Linear Supertypes
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. All

Type Members

  1. case class AnnotatedFormula(language: String, name: String, role: FormulaRole, formula: HOLFormula, annotations: Seq[GeneralTerm]) extends TptpInput with Product with Serializable

    Permalink
  2. type FormulaRole = String

    Permalink
  3. type GeneralTerm = LambdaExpression

    Permalink
  4. case class IncludeDirective(fileName: String, formulaSelection: Option[Seq[String]]) extends TptpInput with Product with Serializable

    Permalink
  5. type InfoItem = LambdaExpression

    Permalink
  6. class TPTPHOLExporter extends AnyRef

    Permalink
  7. case class TptpFile(inputs: Seq[TptpInput]) extends Product with Serializable

    Permalink
  8. sealed trait TptpInput extends AnyRef

    Permalink
  9. class TptpParser extends Parser

    Permalink

Value Members

  1. object GeneralColon

    Permalink
  2. object GeneralList

    Permalink
  3. object TPTPFOLExporter

    Permalink
  4. object TPTPHOLExporter extends TPTPHOLExporter

    Permalink
  5. def TptpAtom(sym: String, args: Seq[LambdaExpression]): HOLAtom

    Permalink
  6. object TptpParser

    Permalink
  7. object TptpProofParser

    Permalink
  8. object TptpTerm

    Permalink
  9. object resolutionToTptp

    Permalink
  10. object resolveIncludes

    Permalink
  11. object tptpProblemToResolution

    Permalink
  12. object tptpToString

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped