.!=. | Codec.TPTP.Base, Codec.TPTP |
.&. | Codec.TPTP.Base, Codec.TPTP |
.<=. | Codec.TPTP.Base, Codec.TPTP |
.<=>. | Codec.TPTP.Base, Codec.TPTP |
.<~>. | Codec.TPTP.Base, Codec.TPTP |
.=. | Codec.TPTP.Base, Codec.TPTP |
.=>. | Codec.TPTP.Base, Codec.TPTP |
.|. | Codec.TPTP.Base, Codec.TPTP |
.~&. | Codec.TPTP.Base, Codec.TPTP |
.~. | Codec.TPTP.Base, Codec.TPTP |
.~|. | Codec.TPTP.Base, Codec.TPTP |
:!=: | Codec.TPTP.Base, Codec.TPTP |
:&: | Codec.TPTP.Base, Codec.TPTP |
:<=: | Codec.TPTP.Base, Codec.TPTP |
:<=>: | Codec.TPTP.Base, Codec.TPTP |
:<~>: | Codec.TPTP.Base, Codec.TPTP |
:=: | Codec.TPTP.Base, Codec.TPTP |
:=>: | Codec.TPTP.Base, Codec.TPTP |
:|: | Codec.TPTP.Base, Codec.TPTP |
:~&: | Codec.TPTP.Base, Codec.TPTP |
:~: | Codec.TPTP.Base, Codec.TPTP |
:~|: | Codec.TPTP.Base, Codec.TPTP |
AFormula | Codec.TPTP.Base, Codec.TPTP |
All | Codec.TPTP.Base, Codec.TPTP |
Annotations | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
annotations | Codec.TPTP.Base, Codec.TPTP |
AtomicWord | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
BinOp | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
ColonSep | Codec.TPTP.Base, Codec.TPTP |
Comma | Codec.TPTP.Import, Codec.TPTP |
Comment | Codec.TPTP.Base, Codec.TPTP |
CommentToken | Codec.TPTP.Import, Codec.TPTP |
diff | Codec.TPTP.Diff, Codec.TPTP |
Diffable | Codec.TPTP.Diff, Codec.TPTP |
Differ | Codec.TPTP.Diff, Codec.TPTP |
diffGenF | Codec.TPTP.Diff, Codec.TPTP |
diffGenT | Codec.TPTP.Diff, Codec.TPTP |
DiffResult | Codec.TPTP.Diff, Codec.TPTP |
DistinctObjectTerm | Codec.TPTP.Base, Codec.TPTP |
distinctObjectTerm | Codec.TPTP.Base, Codec.TPTP |
DollarDollarWord | Codec.TPTP.Import, Codec.TPTP |
DollarWord | Codec.TPTP.Import, Codec.TPTP |
DontCare | Codec.TPTP.Diff, Codec.TPTP |
Dot | Codec.TPTP.Import, Codec.TPTP |
DoubleQuoted | Codec.TPTP.Import, Codec.TPTP |
EnclBinOp | Codec.TPTP.Pretty, Codec.TPTP |
EnclInfixPred | Codec.TPTP.Pretty, Codec.TPTP |
EnclNeg | Codec.TPTP.Pretty, Codec.TPTP |
EnclNothing | Codec.TPTP.Pretty, Codec.TPTP |
Enclosing | Codec.TPTP.Pretty, Codec.TPTP |
EnclQuant | Codec.TPTP.Pretty, Codec.TPTP |
Exists | Codec.TPTP.Base, Codec.TPTP |
exists | Codec.TPTP.Base, Codec.TPTP |
F | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
F0Diff | Codec.TPTP.Diff, Codec.TPTP |
fApp | Codec.TPTP.Base, Codec.TPTP |
foldF | Codec.TPTP.Base, Codec.TPTP |
foldFormula0 | Codec.TPTP.Base, Codec.TPTP |
foldT | Codec.TPTP.Base, Codec.TPTP |
foldTerm0 | Codec.TPTP.Base, Codec.TPTP |
forgetFC | Codec.TPTP.Base, Codec.TPTP |
forgetTC | Codec.TPTP.Base, Codec.TPTP |
forgetTIC | Codec.TPTP.Base, Codec.TPTP |
Formula | Codec.TPTP.Base, Codec.TPTP |
formula | Codec.TPTP.Base, Codec.TPTP |
Formula0 | Codec.TPTP.Base, Codec.TPTP |
FormulaC | Codec.TPTP.Base, Codec.TPTP |
FormulaST | Codec.TPTP.Base, Codec.TPTP |
for_all | Codec.TPTP.Base, Codec.TPTP |
FreeVars | Codec.TPTP.Base, Codec.TPTP |
freeVars | Codec.TPTP.Base, Codec.TPTP |
FunApp | Codec.TPTP.Base, Codec.TPTP |
GApp | Codec.TPTP.Base, Codec.TPTP |
GData | Codec.TPTP.Base, Codec.TPTP |
GDistinctObject | Codec.TPTP.Base, Codec.TPTP |
GFormulaData | Codec.TPTP.Base, Codec.TPTP |
GList | Codec.TPTP.Base, Codec.TPTP |
GNumber | Codec.TPTP.Base, Codec.TPTP |
GTerm | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
GVar | Codec.TPTP.Base, Codec.TPTP |
GWord | Codec.TPTP.Base, Codec.TPTP |
Include | Codec.TPTP.Base, Codec.TPTP |
InfixPred | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
isLowerWord | Codec.TPTP.Export, Codec.TPTP |
isSame | Codec.TPTP.Diff, Codec.TPTP |
Lbrack | Codec.TPTP.Import, Codec.TPTP |
LowerWord | Codec.TPTP.Import, Codec.TPTP |
LP | Codec.TPTP.Import, Codec.TPTP |
name | Codec.TPTP.Base, Codec.TPTP |
NoAnnotations | Codec.TPTP.Base, Codec.TPTP |
NoUsefulInfo | Codec.TPTP.Base, Codec.TPTP |
NumberLitTerm | Codec.TPTP.Base, Codec.TPTP |
numberLitTerm | Codec.TPTP.Base, Codec.TPTP |
Oper | Codec.TPTP.Import, Codec.TPTP |
pApp | Codec.TPTP.Base, Codec.TPTP |
parse | Codec.TPTP.Import, Codec.TPTP |
parseFile | Codec.TPTP.Import, Codec.TPTP |
parseWithComment | Codec.TPTP.Import, Codec.TPTP |
parseWithCommentFile | Codec.TPTP.Import, Codec.TPTP |
Plus | Codec.TPTP.Import, Codec.TPTP |
PredApp | Codec.TPTP.Base, Codec.TPTP |
prettySimple | Codec.TPTP.Pretty, Codec.TPTP |
printSampleDiffs | Codec.TPTP.Diff, Codec.TPTP |
Quant | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
Rangle | Codec.TPTP.Import, Codec.TPTP |
Rbrack | Codec.TPTP.Import, Codec.TPTP |
Real | Codec.TPTP.Import, Codec.TPTP |
Role | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
role | Codec.TPTP.Base, Codec.TPTP |
RP | Codec.TPTP.Import, Codec.TPTP |
runF | Codec.TPTP.Base, Codec.TPTP |
runT | Codec.TPTP.Base, Codec.TPTP |
Same | Codec.TPTP.Diff, Codec.TPTP |
SameHead | Codec.TPTP.Diff, Codec.TPTP |
SignedInt | Codec.TPTP.Import, Codec.TPTP |
SingleQuoted | Codec.TPTP.Import, Codec.TPTP |
Slash | Codec.TPTP.Import, Codec.TPTP |
Star | Codec.TPTP.Import, Codec.TPTP |
T | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
T0Diff | Codec.TPTP.Diff, Codec.TPTP |
Term | Codec.TPTP.Base, Codec.TPTP |
Term0 | Codec.TPTP.Base, Codec.TPTP |
TermC | Codec.TPTP.Base, Codec.TPTP |
TermST | Codec.TPTP.Base, Codec.TPTP |
Token | Codec.TPTP.Import, Codec.TPTP |
ToTPTP | Codec.TPTP.Export, Codec.TPTP |
toTPTP | Codec.TPTP.Export, Codec.TPTP |
toTPTP' | Codec.TPTP.Export, Codec.TPTP |
TPTP_Input | Codec.TPTP.Base, Codec.TPTP |
TPTP_Input_ | Codec.TPTP.Base, Codec.TPTP |
TPTP_Input_C | Codec.TPTP.Base, Codec.TPTP |
univquant_free_vars | Codec.TPTP.Base, Codec.TPTP |
unrole | Codec.TPTP.Base, Codec.TPTP |
UnsignedInt | Codec.TPTP.Import, Codec.TPTP |
unwrapF | Codec.TPTP.Base, Codec.TPTP |
unwrapT | Codec.TPTP.Base, Codec.TPTP |
UpperWord | Codec.TPTP.Import, Codec.TPTP |
UsefulInfo | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
V | |
1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
Var | Codec.TPTP.Base, Codec.TPTP |
var | Codec.TPTP.Base, Codec.TPTP |
WithEnclosing | |
1 (Type/Class) | Codec.TPTP.Pretty, Codec.TPTP |
2 (Data Constructor) | Codec.TPTP.Pretty, Codec.TPTP |