Struct flussab_cnf::gcnf::Header

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

Header data of a GCNF file.

Contains the number of variables and clauses as well as the number of groups. 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.

group_count: usize

Number of clause groups.

Note that this count does not include the don’t-care group 0.

Ignored during parsing when 0.

Trait Implementations

impl Clone for Header

fn clone(&self) -> Header

Returns a copy 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