Struct Header 

pub struct Header {
    pub var_count: usize,
    pub clause_count: usize,
}

Header data of a DIMACS CNF file.

Contains the number of variables and clauses. This parser considers a count of 0 as unspecified and will not check that count during parsing, even in strict mode.

Fields

var_count: usize

Upper bound on the number of variables present in the formula.

Ignored during parsing when 0.

clause_count: usize

Number of clauses present in the formula.

Ignored during parsing when 0.

Trait Implementations

impl Clone for Header

fn clone(&self) -> Header

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Header

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

Formats the value using the given formatter.

impl Copy for Header