[−][src]Struct aiger::Reader

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

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

Implementations

impl<T: Read> Reader<T>[src]

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

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>ⓘ

Important traits for RecordsIter<T>

impl<T: Read> Iterator for RecordsIter<T> type Item = Result<Aiger, AigerError>;
[src]

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

pub fn header(&self) -> Header[src]

Returns the AIGER header.

Trait Implementations

impl<T: Read> Debug for Reader<T>[src]

Auto Trait Implementations

impl<T> RefUnwindSafe for Reader<T> where
    T: RefUnwindSafe, 

impl<T> Send for Reader<T> where
    T: Send, 

impl<T> Sync for Reader<T> where
    T: Sync, 

impl<T> Unpin for Reader<T> where
    T: Unpin, 

impl<T> UnwindSafe for Reader<T> where
    T: UnwindSafe, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.