Struct Parser 

pub struct Parser<'a, L> { /* private fields */ }

Parser for the ASCII version of the AIGER file format.

Implementations

impl<'a, L> Parser<'a, L>

where L: Lit,

pub fn from_buf_reader( buf_reader: BufReader<impl Read + 'a>, config: Config, ) -> Result<Self, ParseError>

Creates a parser reading from a BufReader.

pub fn from_read( read: impl Read + 'a, config: Config, ) -> Result<Self, ParseError>

Creates a parser reading from a Read instance.

If the Read instance is a BufReader, it is better to use from_buf_reader to avoid unnecessary double buffering of the data.

Examples found in repository

examples/roundtrip_aig_buffered.rs (line 15)

fn main_err() -> Result<(), ParseError> {
    let stdin = std::io::stdin();
    let stdout = std::io::stdout();

    let aig_reader = binary::Parser::<u32>::from_read(stdin.lock(), binary::Config::default())?;

    let aig = aig_reader.parse()?;

    let mut aag_writer = DeferredWriter::from_write(stdout.lock());
    let aag_writer = ascii::Writer::<u32>::new(&mut aag_writer);

    aag_writer.write_ordered_aig(&aig);
    Ok(())
}

pub fn from_boxed_dyn_read( read: Box<dyn Read + 'a>, config: Config, ) -> Result<Self, ParseError>

Creates a parser reading from a boxed Read instance.

If the Read instance is a BufReader, it is better to use from_buf_reader to avoid unnecessary double buffering of the data.

pub fn new(reader: LineReader<'a>, _config: Config) -> Result<Self, ParseError>

Creates a parser reading from a LineReader.

pub fn latches(self) -> Result<ParseLatches<'a, L>, ParseError>

pub fn header(&self) -> &Header

pub fn parse(self) -> Result<OrderedAig<L>, ParseError>

Examples found in repository

examples/roundtrip_aig_buffered.rs (line 17)

fn main_err() -> Result<(), ParseError> {
    let stdin = std::io::stdin();
    let stdout = std::io::stdout();

    let aig_reader = binary::Parser::<u32>::from_read(stdin.lock(), binary::Config::default())?;

    let aig = aig_reader.parse()?;

    let mut aag_writer = DeferredWriter::from_write(stdout.lock());
    let aag_writer = ascii::Writer::<u32>::new(&mut aag_writer);

    aag_writer.write_ordered_aig(&aig);
    Ok(())
}