List of all items
Structs
- TPTPIterator
- cnf::Disjunction
- common::AtomicDefinedWord
- common::AtomicSystemWord
- common::Constant
- common::DefinedConstant
- common::DefinedFunctor
- common::DefinedInfixPred
- common::DefinedType
- common::DistinctObject
- common::DollarDollarWord
- common::DollarWord
- common::Functor
- common::InfixEquality
- common::InfixInequality
- common::Integer
- common::LowerWord
- common::Rational
- common::Real
- common::SingleQuoted
- common::SystemConstant
- common::SystemFunctor
- common::TypeConstant
- common::TypeFunctor
- common::UnaryConnective
- common::UpperWord
- common::Variable
- fof::AndFormula
- fof::Arguments
- fof::BinaryNonassoc
- fof::DefinedAtomicTerm
- fof::DefinedInfixFormula
- fof::DefinedPlainFormula
- fof::Formula
- fof::InfixUnary
- fof::OrFormula
- fof::PlainAtomicFormula
- fof::QuantifiedFormula
- fof::SystemAtomicFormula
- fof::VariableList
- tfx::AndFormula
- tfx::Arguments
- tfx::BinaryNonassoc
- tfx::DefinedAtomic
- tfx::DefinedInfix
- tfx::InfixUnary
- tfx::MappingType
- tfx::OrFormula
- tfx::PrefixUnary
- tfx::QuantifiedFormula
- tfx::QuantifiedType
- tfx::TypeArguments
- tfx::TypedVariable
- tfx::VariableList
- tfx::XprodType
- top::Annotated
- top::Annotations
- top::CnfAnnotated
- top::FileName
- top::FofAnnotated
- top::FormulaRole
- top::FormulaSelection
- top::GeneralFunction
- top::GeneralList
- top::GeneralTerms
- top::Include
- top::NameList
- top::OptionalInfo
- top::Source
- top::TfxAnnotated
- top::UsefulInfo
Enums
- cnf::Formula
- cnf::Literal
- common::AssocConnective
- common::AtomicWord
- common::DefinedTerm
- common::Name
- common::NonassocConnective
- common::Number
- common::UntypedAtom
- fof::AtomicFormula
- fof::BinaryAssoc
- fof::BinaryFormula
- fof::DefinedAtomicFormula
- fof::DefinedPlainTerm
- fof::DefinedTerm
- fof::FunctionTerm
- fof::LogicFormula
- fof::PlainTerm
- fof::Quantifier
- fof::SystemTerm
- fof::Term
- fof::UnaryFormula
- fof::UnitFormula
- fof::UnitaryFormula
- tfx::AtomTyping
- tfx::AtomicFormula
- tfx::AtomicType
- tfx::BinaryAssoc
- tfx::BinaryFormula
- tfx::DefinedPlain
- tfx::Formula
- tfx::LogicFormula
- tfx::Monotype
- tfx::NonAtomicType
- tfx::PlainAtomic
- tfx::PreunitFormula
- tfx::SystemAtomic
- tfx::Term
- tfx::TopLevelType
- tfx::UnaryFormula
- tfx::UnitFormula
- tfx::UnitaryFormula
- tfx::UnitaryTerm
- tfx::UnitaryType
- tfx::Variable
- top::AnnotatedFormula
- top::FormulaData
- top::GeneralData
- top::GeneralTerm
- top::TPTPInput
Traits
Functions
- common::alphanumeric
- common::comment_block
- common::comment_line
- common::ignored
- common::lower_alpha1
- common::single_ignored
- common::upper_alpha1
- common::whitespace