[−][src]Trait tptp::Parse

pub trait Parse<'a, E: Error<'a>>: Sized {
    fn parse(x: &'a [u8]) -> Result<'a, Self, E>;
}

syntax items which have an associated parser

Required methods

fn parse(x: &'a [u8]) -> Result<'a, Self, E>

Loading content...

Implementors

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]

Loading content...