[−][src]Trait tptp::Parse
syntax items which have an associated parser
syntax items which have an associated parser
impl<'a, E: Error<'a>> Parse<'a, E> for tptp::cnf::Formula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Literal<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AssocConnective
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AtomicWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for tptp::common::DefinedTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Name<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for NonassocConnective
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Number<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AtomicFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssoc<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomicFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for tptp::fof::DefinedTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FunctionTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for LogicFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for PlainTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Quantifier
[src]impl<'a, E: Error<'a>> Parse<'a, E> for SystemTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Term<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UnaryFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AnnotatedFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FormulaData<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FormulaRole
[src]impl<'a, E: Error<'a>> Parse<'a, E> for GeneralData<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for GeneralTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for TPTPInput<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Disjunction<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AtomicDefinedWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AtomicSystemWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Constant<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedConstant<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedFunctor<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixPred
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DistinctObject<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DollarDollarWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DollarWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Functor<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for InfixEquality
[src]impl<'a, E: Error<'a>> Parse<'a, E> for InfixInequality
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Integer<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for LowerWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Rational<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Real<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for SingleQuoted<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for SystemConstant<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for SystemFunctor<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UnaryConnective
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UpperWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Variable<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AndFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Arguments<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassoc<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomicTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for tptp::fof::Formula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnary<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for OrFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for PlainAtomicFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for QuantifiedFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for SystemAtomicFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for VariableList<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Annotations<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for CnfAnnotated<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FileName<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FofAnnotated<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FormulaSelection<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for GeneralFunction<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for GeneralList<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for GeneralTerms<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Include<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for NameList<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for OptionalInfo<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Source<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UsefulInfo<'a>
[src]impl<'a, E: Error<'a>, T: Parse<'a, E>> Parse<'a, E> for Annotated<'a, T>
[src]