Trait tptp::Parse [−][src]
Expand description
syntax items which have an associated parser
Required methods
Implementors
impl<'a, E: Error<'a>> Parse<'a, E> for AssocConnective
[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 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 tptp::common::DefinedTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for NonassocConnective
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for NonassocConnective
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AtomicFormula<'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 BinaryAssoc<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormula<'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 DefinedAtomicFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainTerm<'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::DefinedTerm<'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 FunctionTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for LogicFormula<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for LogicFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Quantifier
[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 SystemTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UnaryFormula<'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 UnitFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryFormula<'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 AnnotatedFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FormulaData<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for FormulaData<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for GeneralData<'a>
[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 GeneralTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Disjunction<'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 AtomicDefinedWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AtomicSystemWord<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for AtomicSystemWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedConstant<'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 DefinedFunctor<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixPred
[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 DistinctObject<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DollarDollarWord<'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 DollarWord<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for InfixEquality
[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 InfixInequality
[src]impl<'a, E: Error<'a>> Parse<'a, E> for SingleQuoted<'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 SystemConstant<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for SystemFunctor<'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 UnaryConnective
[src]impl<'a, E: Error<'a>> Parse<'a, E> for AndFormula<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for AndFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassoc<'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 DefinedAtomicTerm<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixFormula<'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 DefinedPlainFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnary<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnary<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for PlainAtomicFormula<'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 QuantifiedFormula<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for SystemAtomicFormula<'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 VariableList<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for Annotations<'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 CnfAnnotated<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FofAnnotated<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for FofAnnotated<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FormulaRole<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for FormulaRole<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for FormulaSelection<'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 GeneralFunction<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for GeneralList<'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 GeneralTerms<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for OptionalInfo<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for OptionalInfo<'a>
[src]impl<'a, E: Error<'a>> Parse<'a, E> for UsefulInfo<'a>
[src]
impl<'a, E: Error<'a>> Parse<'a, E> for UsefulInfo<'a>
[src]