Struct flussab_cnf::cnf::Parser

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

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>,
    strict: bool
) -> Result<Self, ParseError>

Creates a parser reading from a BufReader.

When strict is false, the variable and clause count of the DIMACS CNF header are ignored during parsing.

pub fn from_read(read: impl Read + 'a, strict: bool) -> 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.

When strict is false, the variable and clause count of the DIMACS CNF header are ignored during parsing.

pub fn from_boxed_dyn_read(
    read: Box<dyn Read + 'a>,
    strict: bool
) -> 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.

When strict is false, the variable and clause count of the DIMACS CNF header are ignored during parsing.

pub fn new(reader: LineReader<'a>, strict: bool) -> 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.