Struct Reader

pub struct Reader<T: Read> { /* private fields */ }

A wrapper around a type implementing io::Read which reads an AIGER header and AIGER records.

Implementations

impl<T: Read> Reader<T>

pub fn from_reader(reader: T) -> Result<Reader<T>, AigerError>

Creates a new AIGER reader which reads from the provided reader.

Example

use aiger::Reader;
let readable = "aag 3 2 0 1 0\n2\n4\n6\n6 2 4\n".as_bytes();
let reader = Reader::from_reader(readable).unwrap();

println!("{:?}", reader.header());

for record in reader.records() {
    println!("{:?}", record);
}

pub fn records(self) -> RecordsIter<T>

Returns an iterator over the records in the AIGER file, consuming the reader.

pub fn header(&self) -> Header

Returns the AIGER header.

Trait Implementations

impl<T: Read> Debug for Reader<T>

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

Formats the value using the given formatter.