[−] List of all items
Structs
- TPTPIterator
- cnf::Disjunction
- common::AtomicDefinedWord
- common::AtomicSystemWord
- common::Constant
- common::DefinedConstant
- common::DefinedFunctor
- common::DefinedInfixPred
- 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::UnaryConnective
- common::UpperWord
- common::Variable
- fof::AndFormula
- fof::Arguments
- fof::BinaryNonassoc
- fof::DefinedAtomicTerm
- fof::DefinedInfixFormula
- fof::DefinedPlainFormula
- fof::DefinedPlainTerm
- fof::Formula
- fof::InfixUnary
- fof::OrFormula
- fof::PlainAtomicFormula
- fof::QuantifiedFormula
- fof::SystemAtomicFormula
- fof::VariableList
- meta::Annotated
- meta::Annotations
- meta::CnfAnnotated
- meta::FileName
- meta::FofAnnotated
- meta::FormulaSelection
- meta::GeneralFunction
- meta::GeneralList
- meta::GeneralTerms
- meta::Include
- meta::NameList
- meta::OptionalInfo
- meta::Source
- meta::UsefulInfo
Enums
- cnf::Formula
- cnf::Literal
- common::AssocConnective
- common::AtomicWord
- common::DefinedTerm
- common::Name
- common::NonassocConnective
- common::Number
- fof::AtomicFormula
- fof::BinaryAssoc
- fof::BinaryFormula
- fof::DefinedAtomicFormula
- fof::DefinedTerm
- fof::FunctionTerm
- fof::LogicFormula
- fof::PlainTerm
- fof::Quantifier
- fof::SystemTerm
- fof::Term
- fof::UnaryFormula
- fof::UnitFormula
- fof::UnitaryFormula
- meta::AnnotatedFormula
- meta::FormulaData
- meta::FormulaRole
- meta::GeneralData
- meta::GeneralTerm
- meta::TPTPInput
Traits
Functions
- common::alphanumeric
- common::comment_block
- common::comment_line
- common::ignored
- common::lower_alpha1
- common::single_ignored
- common::upper_alpha1
- common::whitespace