Struct flussab_cnf::cnf::Parser

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

Parser for the DIMACS CNF file format.

Implementations

impl<'a, L> Parser<'a, L>where L: Dimacs,

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.

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 header(&self) -> Option<Header>

Returns the DIMACS CNF header if it was present.

pub fn next_clause(&mut self) -> Result<Option<&[L]>, ParseError>

Parses and returns the next clause.

Returns Ok(None) if the end of file was successfully reached.