[−][src]Struct cnf_parser::Problem
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 Clone for Problem
[src]
impl Copy for Problem
[src]
impl Debug for Problem
[src]
impl Eq for Problem
[src]
impl PartialEq<Problem> for Problem
[src]
impl StructuralEq for Problem
[src]
impl StructuralPartialEq for Problem
[src]
Auto Trait Implementations
impl RefUnwindSafe for Problem
impl Send for Problem
impl Sync for Problem
impl Unpin for Problem
impl UnwindSafe for Problem
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,