Trait rsmt2::parse::ProofParser

pub trait ProofParser<Proof, Input>: Copy {
    fn parse_proof(self, i: Input) -> SmtRes<Proof>;
}

Can parse proofs. Currenly unused.

For more information refer to the module-level documentation.

Required methods

fn parse_proof(self, i: Input) -> SmtRes<Proof>

Parses a proof.

Implementors

impl<'a, Proof, T> ProofParser<Proof, &'a str> for T where
    T: ProofParser<Proof, &'a [u8]>, 

impl<'a, Proof, T, Br> ProofParser<Proof, &'a mut SmtParser<Br>> for T where
    T: ProofParser<Proof, &'a str>,
    Br: BufRead,