Struct cnf_parser::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 Copy for Problem

impl Debug for Problem

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

Formats the value using the given formatter.

impl Eq for Problem

impl PartialEq<Problem> for Problem

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for Problem

impl StructuralPartialEq for Problem