at
.
logic
.
gapt
.
formats
tptp
package
tptp
Source
package.scala
Linear Supertypes
AnyRef
,
Any
Content Hierarchy
IncludeDirective
AnnotatedFormula
TptpInput
TPTPHOLExporter
TPTPHOLExporter
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
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
object
GeneralColon
object
GeneralList
object
TPTPFOLExporter
object
TPTPHOLExporter
extends
TPTPHOLExporter
def
TptpAtom
(
sym:
String
,
args:
Seq
[
LambdaExpression
]
)
:
HOLAtom
object
TptpParser
object
TptpProofParser
object
TptpTerm
object
resolutionToTptp
object
resolveIncludes
object
tptpProblemToResolution
object
tptpToString
Inherited from
AnyRef
Inherited from
Any
Ungrouped