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>

Implementors

impl<'a, E: Error<'a>> Parse<'a, E> for tptp::cnf::Formula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Literal<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for AssocConnective

impl<'a, E: Error<'a>> Parse<'a, E> for AtomicWord<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for tptp::common::DefinedTerm<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Name<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for NonassocConnective

impl<'a, E: Error<'a>> Parse<'a, E> for Number<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for AtomicFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssoc<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomicFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainTerm<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for tptp::fof::DefinedTerm<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for FunctionTerm<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for LogicFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for PlainTerm<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Quantifier

impl<'a, E: Error<'a>> Parse<'a, E> for SystemTerm<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Term<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for UnaryFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for AnnotatedFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for FormulaData<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for GeneralData<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for GeneralTerm<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for TPTPInput<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Disjunction<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for AtomicDefinedWord<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for AtomicSystemWord<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Constant<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DefinedConstant<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DefinedFunctor<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixPred

impl<'a, E: Error<'a>> Parse<'a, E> for DistinctObject<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DollarDollarWord<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DollarWord<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Functor<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for InfixEquality

impl<'a, E: Error<'a>> Parse<'a, E> for InfixInequality

impl<'a, E: Error<'a>> Parse<'a, E> for Integer<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for LowerWord<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Rational<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Real<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for SingleQuoted<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for SystemConstant<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for SystemFunctor<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for UnaryConnective

impl<'a, E: Error<'a>> Parse<'a, E> for UpperWord<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Variable<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for AndFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Arguments<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassoc<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomicTerm<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for tptp::fof::Formula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnary<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for OrFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for PlainAtomicFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for QuantifiedFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for SystemAtomicFormula<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for VariableList<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Annotations<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for CnfAnnotated<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for FileName<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for FofAnnotated<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for FormulaRole<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for FormulaSelection<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for GeneralFunction<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for GeneralList<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for GeneralTerms<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Include<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for NameList<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for OptionalInfo<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for Source<'a>

impl<'a, E: Error<'a>> Parse<'a, E> for UsefulInfo<'a>

impl<'a, E: Error<'a>, T: Parse<'a, E>> Parse<'a, E> for Annotated<'a, T>