Struct DimacsCnf 

pub struct DimacsCnf {
    pub num_vars: usize,
    pub clauses: Vec<Vec<Lit>>,
}

A parsed CNF formula: num_vars variables and clauses over packed Lits.

Fields

num_vars: usize

clauses: Vec<Vec<Lit>>

Implementations

impl DimacsCnf

pub fn into_solver(&self) -> Solver

Load the clauses into a fresh Solver over num_vars variables.

Trait Implementations

impl Clone for DimacsCnf

fn clone(&self) -> DimacsCnf

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DimacsCnf

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

Formats the value using the given formatter.

impl PartialEq for DimacsCnf

fn eq(&self, other: &DimacsCnf) -> 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 Eq for DimacsCnf

impl StructuralPartialEq for DimacsCnf