Struct CNF 

pub struct CNF {
    pub num_variables: usize,
    pub num_clauses: usize,
    pub clauses: Vec<Vec<i32>>,
}

CNF (Conjunctive Normal Form) representation

use rgbd::CNF;

let cnf = CNF::from_dimacs_format_str(r#"
p cnf 5 3
1 -5 4 0
-1 5 3 4 0
-3 -4 0
"#).unwrap();

assert_eq!(cnf.num_variables, 5);
assert_eq!(cnf.num_clauses, 3);
assert_eq!(cnf.clauses, vec![
  vec![1, -5, 4],
  vec![-1, 5, 3, 4],
  vec![-3, -4],
]);

Fields

num_variables: usize

num_clauses: usize

clauses: Vec<Vec<i32>>

Implementations

impl CNF

pub fn from_dimacs_format_str(input: &str) -> Result<Self>

pub fn from_dimacs_format(input: impl Read) -> Result<Self>

Trait Implementations

impl Clone for CNF

fn clone(&self) -> CNF

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CNF

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

Formats the value using the given formatter.

impl Hash for CNF

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CNF

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

impl StructuralPartialEq for CNF