pub struct Problem {
pub num_variables: u32,
pub num_clauses: u32,
}
Expand description
The problem definition.
This is parsed at most once for every CNF input. Used to hint the underlying solver for the expected number of variables and clauses of the CNF input.
Fields§
§num_variables: u32
The number of variables in the CNF problem.
num_clauses: u32
The number of clauses in the CNF problem.
Trait Implementations§
impl Copy for Problem
impl Eq for Problem
impl StructuralPartialEq for Problem
Auto Trait Implementations§
impl Freeze for Problem
impl RefUnwindSafe for Problem
impl Send for Problem
impl Sync for Problem
impl Unpin for Problem
impl UnwindSafe for Problem
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