Struct flussab_cnf::wcnf::Header

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

Header data of a WCNF file.

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

top_weight: u64

The weight used to indicate hard clauses.

Note that this parser does not check that the top weight is larger than the sum of all soft clauses’ weights, which is required by some solvers.

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