logic-TPTP-0.4.1.0: Import, export etc. for TPTP, a syntax for first-order logic

Index

.!=.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
AFormulaCodec.TPTP.Base, Codec.TPTP
AllCodec.TPTP.Base, Codec.TPTP
Annotations 
1 (Type/Class)Codec.TPTP.Base, Codec.TPTP
2 (Data Constructor)Codec.TPTP.Base, Codec.TPTP
annotationsCodec.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
ColonSepCodec.TPTP.Base, Codec.TPTP
CommaCodec.TPTP.Import, Codec.TPTP
CommentCodec.TPTP.Base, Codec.TPTP
CommentTokenCodec.TPTP.Import, Codec.TPTP
diffCodec.TPTP.Diff, Codec.TPTP
DiffableCodec.TPTP.Diff, Codec.TPTP
DifferCodec.TPTP.Diff, Codec.TPTP
diffGenFCodec.TPTP.Diff, Codec.TPTP
diffGenTCodec.TPTP.Diff, Codec.TPTP
DiffResultCodec.TPTP.Diff, Codec.TPTP
DistinctObjectTermCodec.TPTP.Base, Codec.TPTP
distinctObjectTermCodec.TPTP.Base, Codec.TPTP
DollarDollarWordCodec.TPTP.Import, Codec.TPTP
DollarWordCodec.TPTP.Import, Codec.TPTP
DontCareCodec.TPTP.Diff, Codec.TPTP
DotCodec.TPTP.Import, Codec.TPTP
DoubleQuotedCodec.TPTP.Import, Codec.TPTP
EnclBinOpCodec.TPTP.Pretty, Codec.TPTP
EnclInfixPredCodec.TPTP.Pretty, Codec.TPTP
EnclNegCodec.TPTP.Pretty, Codec.TPTP
EnclNothingCodec.TPTP.Pretty, Codec.TPTP
EnclosingCodec.TPTP.Pretty, Codec.TPTP
EnclQuantCodec.TPTP.Pretty, Codec.TPTP
ExistsCodec.TPTP.Base, Codec.TPTP
existsCodec.TPTP.Base, Codec.TPTP
F 
1 (Type/Class)Codec.TPTP.Base, Codec.TPTP
2 (Data Constructor)Codec.TPTP.Base, Codec.TPTP
F0DiffCodec.TPTP.Diff, Codec.TPTP
fAppCodec.TPTP.Base, Codec.TPTP
foldFCodec.TPTP.Base, Codec.TPTP
foldFormula0Codec.TPTP.Base, Codec.TPTP
foldTCodec.TPTP.Base, Codec.TPTP
foldTerm0Codec.TPTP.Base, Codec.TPTP
forgetFCCodec.TPTP.Base, Codec.TPTP
forgetTCCodec.TPTP.Base, Codec.TPTP
forgetTICCodec.TPTP.Base, Codec.TPTP
FormulaCodec.TPTP.Base, Codec.TPTP
formulaCodec.TPTP.Base, Codec.TPTP
Formula0Codec.TPTP.Base, Codec.TPTP
FormulaCCodec.TPTP.Base, Codec.TPTP
FormulaSTCodec.TPTP.Base, Codec.TPTP
for_allCodec.TPTP.Base, Codec.TPTP
FreeVarsCodec.TPTP.Base, Codec.TPTP
freeVarsCodec.TPTP.Base, Codec.TPTP
FunAppCodec.TPTP.Base, Codec.TPTP
GAppCodec.TPTP.Base, Codec.TPTP
GDataCodec.TPTP.Base, Codec.TPTP
GDistinctObjectCodec.TPTP.Base, Codec.TPTP
GFormulaDataCodec.TPTP.Base, Codec.TPTP
GListCodec.TPTP.Base, Codec.TPTP
GNumberCodec.TPTP.Base, Codec.TPTP
GTerm 
1 (Type/Class)Codec.TPTP.Base, Codec.TPTP
2 (Data Constructor)Codec.TPTP.Base, Codec.TPTP
GVarCodec.TPTP.Base, Codec.TPTP
GWordCodec.TPTP.Base, Codec.TPTP
IncludeCodec.TPTP.Base, Codec.TPTP
InfixPred 
1 (Type/Class)Codec.TPTP.Base, Codec.TPTP
2 (Data Constructor)Codec.TPTP.Base, Codec.TPTP
isLowerWordCodec.TPTP.Export, Codec.TPTP
isSameCodec.TPTP.Diff, Codec.TPTP
LbrackCodec.TPTP.Import, Codec.TPTP
LowerWordCodec.TPTP.Import, Codec.TPTP
LPCodec.TPTP.Import, Codec.TPTP
nameCodec.TPTP.Base, Codec.TPTP
NoAnnotationsCodec.TPTP.Base, Codec.TPTP
NoUsefulInfoCodec.TPTP.Base, Codec.TPTP
NumberLitTermCodec.TPTP.Base, Codec.TPTP
numberLitTermCodec.TPTP.Base, Codec.TPTP
OperCodec.TPTP.Import, Codec.TPTP
pAppCodec.TPTP.Base, Codec.TPTP
parseCodec.TPTP.Import, Codec.TPTP
parseFileCodec.TPTP.Import, Codec.TPTP
parseWithCommentCodec.TPTP.Import, Codec.TPTP
parseWithCommentFileCodec.TPTP.Import, Codec.TPTP
PlusCodec.TPTP.Import, Codec.TPTP
PredAppCodec.TPTP.Base, Codec.TPTP
prettySimpleCodec.TPTP.Pretty, Codec.TPTP
printSampleDiffsCodec.TPTP.Diff, Codec.TPTP
Quant 
1 (Type/Class)Codec.TPTP.Base, Codec.TPTP
2 (Data Constructor)Codec.TPTP.Base, Codec.TPTP
RangleCodec.TPTP.Import, Codec.TPTP
RbrackCodec.TPTP.Import, Codec.TPTP
RealCodec.TPTP.Import, Codec.TPTP
Role 
1 (Type/Class)Codec.TPTP.Base, Codec.TPTP
2 (Data Constructor)Codec.TPTP.Base, Codec.TPTP
roleCodec.TPTP.Base, Codec.TPTP
RPCodec.TPTP.Import, Codec.TPTP
runFCodec.TPTP.Base, Codec.TPTP
runTCodec.TPTP.Base, Codec.TPTP
SameCodec.TPTP.Diff, Codec.TPTP
SameHeadCodec.TPTP.Diff, Codec.TPTP
SignedIntCodec.TPTP.Import, Codec.TPTP
SingleQuotedCodec.TPTP.Import, Codec.TPTP
SlashCodec.TPTP.Import, Codec.TPTP
StarCodec.TPTP.Import, Codec.TPTP
T 
1 (Type/Class)Codec.TPTP.Base, Codec.TPTP
2 (Data Constructor)Codec.TPTP.Base, Codec.TPTP
T0DiffCodec.TPTP.Diff, Codec.TPTP
TermCodec.TPTP.Base, Codec.TPTP
Term0Codec.TPTP.Base, Codec.TPTP
TermCCodec.TPTP.Base, Codec.TPTP
TermSTCodec.TPTP.Base, Codec.TPTP
TokenCodec.TPTP.Import, Codec.TPTP
ToTPTPCodec.TPTP.Export, Codec.TPTP
toTPTPCodec.TPTP.Export, Codec.TPTP
toTPTP'Codec.TPTP.Export, Codec.TPTP
TPTP_InputCodec.TPTP.Base, Codec.TPTP
TPTP_Input_Codec.TPTP.Base, Codec.TPTP
TPTP_Input_CCodec.TPTP.Base, Codec.TPTP
univquant_free_varsCodec.TPTP.Base, Codec.TPTP
unroleCodec.TPTP.Base, Codec.TPTP
UnsignedIntCodec.TPTP.Import, Codec.TPTP
unwrapFCodec.TPTP.Base, Codec.TPTP
unwrapTCodec.TPTP.Base, Codec.TPTP
UpperWordCodec.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
VarCodec.TPTP.Base, Codec.TPTP
varCodec.TPTP.Base, Codec.TPTP
WithEnclosing 
1 (Type/Class)Codec.TPTP.Pretty, Codec.TPTP
2 (Data Constructor)Codec.TPTP.Pretty, Codec.TPTP