tptp-0.1.0.3: A parser and a pretty printer for the TPTP language

Index

AnnotationData.TPTP
ApplicationData.TPTP
AssumptionData.TPTP
AssumptionsData.TPTP
Atom 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
atomData.TPTP.Parse.Combinators
AtomicData.TPTP
AxiomData.TPTP
BindData.TPTP
ByAssumptionData.TPTP
ByAxiomOfChoiceData.TPTP
ByDefinitionData.TPTP
ByTautologyData.TPTP
CAXData.TPTP
CeilingData.TPTP
CEQData.TPTP
Clause 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
clause 
1 (Function)Data.TPTP
2 (Function)Data.TPTP.Parse.Combinators
CNFData.TPTP
CNF_Data.TPTP
ConjectureData.TPTP
ConjunctionData.TPTP
ConnectedData.TPTP
ConnectiveData.TPTP
CorollaryData.TPTP
CreatorData.TPTP
CSAData.TPTP
CSPData.TPTP
CTHData.TPTP
CUPData.TPTP
DeclarationData.TPTP
declarationLanguageData.TPTP
DefinedData.TPTP
DefinitionData.TPTP
DescriptionData.TPTP
DifferenceData.TPTP
DisjunctionData.TPTP
DistinctData.TPTP
DistinctObject 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
distinctObjectData.TPTP.Parse.Combinators
DistinctTermData.TPTP
ECSData.TPTP
ECTData.TPTP
EqualityData.TPTP
EquivalenceData.TPTP
EQVData.TPTP
ESAData.TPTP
ETHData.TPTP
ExclusiveOrData.TPTP
ExistsData.TPTP
Expression 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
ExtendedData.TPTP
extendedData.TPTP
FalsumData.TPTP
FiDomainData.TPTP
FiFunctorsData.TPTP
FileData.TPTP
FiPredicatesData.TPTP
FirstOrderData.TPTP
FloorData.TPTP
FOFData.TPTP
FOF_Data.TPTP
ForallData.TPTP
Formula 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
formulaLanguageData.TPTP
FSAData.TPTP
FUNData.TPTP
Function 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
functionData.TPTP.Parse.Combinators
GreaterData.TPTP
GreatereqData.TPTP
HypothesisData.TPTP
IData.TPTP
ImplicationData.TPTP
IncludeData.TPTP
InferenceData.TPTP
InfoData.TPTP
infoData.TPTP.Parse.Combinators
InfoNumberData.TPTP
InfosData.TPTP
IntData.TPTP
IntegerConstantData.TPTP
IntroData.TPTP
introData.TPTP.Parse.Combinators
IntroducedData.TPTP
IquoteData.TPTP
isAssociativeData.TPTP
IsIntData.TPTP
IsRatData.TPTP
isValidAtomData.TPTP
isValidDistinctObjectData.TPTP
isValidReservedData.TPTP
isValidVarData.TPTP
LanguageData.TPTP
LemmaData.TPTP
LessData.TPTP
LesseqData.TPTP
LiteralData.TPTP
literalData.TPTP.Parse.Combinators
LogicalData.TPTP
MonomorphicFirstOrderData.TPTP
monomorphicFirstOrderData.TPTP.Parse.Combinators
monomorphizeFirstOrderData.TPTP
monomorphizeTFF1SortData.TPTP
NameData.TPTP
nameData.TPTP
NamedData.TPTP
NegatedData.TPTP
NegatedConjectureData.TPTP
NegatedConjunctionData.TPTP
NegatedDisjunctionData.TPTP
NegativeData.TPTP
NewSymbolsData.TPTP
NOCData.TPTP
Number 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
numberData.TPTP.Parse.Combinators
OData.TPTP
Parent 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
parentData.TPTP.Parse.Combinators
parseTPTP 
1 (Function)Data.TPTP.Parse.Text
2 (Function)Data.TPTP.Parse.Text.Lazy
parseTPTPOnlyData.TPTP.Parse.Text
parseTPTPWithData.TPTP.Parse.Text
parseUnit 
1 (Function)Data.TPTP.Parse.Text
2 (Function)Data.TPTP.Parse.Text.Lazy
parseUnitOnlyData.TPTP.Parse.Text
parseUnitWithData.TPTP.Parse.Text
PlainData.TPTP
PolymorphicFirstOrderData.TPTP
polymorphicFirstOrderData.TPTP.Parse.Combinators
PositiveData.TPTP
Predicate 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
predicateData.TPTP.Parse.Combinators
PrettyData.TPTP.Pretty
prettyData.TPTP.Pretty
prettyListData.TPTP.Pretty
ProductData.TPTP
QuantifiedData.TPTP
quantifiedData.TPTP
QuantifiedSort 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
QuantifierData.TPTP
QuotientData.TPTP
QuotientEData.TPTP
QuotientFData.TPTP
QuotientTData.TPTP
RatData.TPTP
RationalConstantData.TPTP
RealData.TPTP
RealConstantData.TPTP
RefutationData.TPTP
RemainderEData.TPTP
RemainderFData.TPTP
RemainderTData.TPTP
Reserved 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
ReversedImplicationData.TPTP
RoleData.TPTP
RoundData.TPTP
SAPData.TPTP
SATData.TPTP
SCAData.TPTP
SCCData.TPTP
SignData.TPTP
Sort 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
sortData.TPTP.Parse.Combinators
Sorted 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
SortedFirstOrderData.TPTP
sortedFirstOrderData.TPTP.Parse.Combinators
SortVariableData.TPTP
SourceData.TPTP
sourceData.TPTP.Parse.Combinators
StandardData.TPTP
Status 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
SUCData.TPTP
SumData.TPTP
TACData.TPTP
TAUData.TPTP
TautologyData.TPTP
TCAData.TPTP
Term 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
termData.TPTP.Parse.Combinators
TFF0Data.TPTP
TFF1Data.TPTP
TFF1Sort 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
tff1SortData.TPTP.Parse.Combinators
TFF1TypeData.TPTP
tff1TypeData.TPTP
TFF_Data.TPTP
TheoremData.TPTP
TheoryData.TPTP
THMData.TPTP
ToIntData.TPTP
ToRatData.TPTP
ToRealData.TPTP
TPTP 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
tptpData.TPTP.Parse.Combinators
TruncateData.TPTP
Type 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
type_Data.TPTP.Parse.Combinators
TypingData.TPTP
UCAData.TPTP
UminusData.TPTP
UNCData.TPTP
Unit 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
unitData.TPTP.Parse.Combinators
UnitNameData.TPTP
unitsData.TPTP
UnitSourceData.TPTP
UnknownData.TPTP
UnknownSourceData.TPTP
UNPData.TPTP
UNSData.TPTP
Unsorted 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
UnsortedFirstOrderData.TPTP
unsortedFirstOrderData.TPTP.Parse.Combinators
Var 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
varData.TPTP.Parse.Combinators
VariableData.TPTP
WCAData.TPTP
WCCData.TPTP
WCTData.TPTP
WECData.TPTP
whitespaceData.TPTP.Parse.Combinators
WTCData.TPTP
WTHData.TPTP
WUCData.TPTP