Struct ProofReader 

pub struct ProofReader<Source, Int> { /* private fields */ }

A parser of DRCP proofs. See module documentation on crate::reader for examples on how to use it.

Implementations

impl<Source, Int> ProofReader<Source, Int>

pub fn new(source: Source) -> Self

Create a new ProofReader.

Note that ProofReader::next_step is only implemented for sources that implement io::BufRead. It is up to the user to set up the buffered reader.

impl<Source, Int> ProofReader<Source, Int>

where Source: BufRead, Int: IntValue,

pub fn next_step(&mut self) -> Result<Option<ReadStep<Int>>, Error>

Parse the next Step from the proof file.

The end-of-file is signified by the value Ok(None) and is not an error.

Trait Implementations

impl<Source: Debug, Int: Debug> Debug for ProofReader<Source, Int>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.