Struct Problem

pub struct Problem {
    pub num_variables: u32,
    pub num_clauses: u32,
}

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

fn clone(&self) -> Problem

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Problem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Problem

fn eq(&self, other: &Problem) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Problem

impl Eq for Problem

impl StructuralPartialEq for Problem