Struct flussab_cnf::wcnf::Header
source · pub struct Header {
pub var_count: usize,
pub clause_count: usize,
pub top_weight: u64,
}
Expand description
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§
Auto Trait Implementations§
impl RefUnwindSafe for Header
impl Send for Header
impl Sync for Header
impl Unpin for Header
impl UnwindSafe for Header
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more