Struct obddimal::dimacs::Instance

pub struct Instance {
    pub no_clauses: u32,
    pub no_variables: u32,
    pub clauses: Vec<Vec<i32>>,
}

Logic formula in conjunctive normal form, parsed from a DIMACS file: A formula in conjunctive normal form is a conjunction (logical and) of a set of clauses. Each clause is a disjunction (logical or) of a set of literals. A literal is a variable or a negation of a variable. (https://jix.github.io/varisat/manual/0.2.0/formats/dimacs.html#dimacs-cnf)

Fields

no_clauses: u32

Number of clauses as specified in the DIMACS header line

no_variables: u32

Number of variables as specified in the DIMACS header line

clauses: Vec<Vec<i32>>

Implementations

impl Instance

fn new(no_clauses: u32, no_variables: u32, clauses: Vec<Vec<i32>>) -> Self

Trait Implementations

impl Clone for Instance

fn clone(&self) -> Instance

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Instance

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

Formats the value using the given formatter.