Trait rsmt2::parse::ProofParser
[−]
[src]
pub trait ProofParser<Proof, Input>: Copy { fn parse_proof(self, _: Input) -> SmtRes<Proof>; }
Can parse proofs. Currenly unused.
For more information refer to the module-level documentation.
Required Methods
fn parse_proof(self, _: Input) -> SmtRes<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,