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::Formula
- fof::InfixUnary
- fof::OrFormula
- fof::PlainAtomicFormula
- fof::QuantifiedFormula
- fof::SystemAtomicFormula
- fof::VariableList
- 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::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::DefinedPlainTerm
- fof::DefinedTerm
- fof::FunctionTerm
- fof::LogicFormula
- fof::PlainTerm
- fof::Quantifier
- fof::SystemTerm
- fof::Term
- fof::UnaryFormula
- fof::UnitFormula
- fof::UnitaryFormula
- 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