Struct BDD 

pub struct BDD {
    pub nodes: Vec<BDDNode>,
    pub root: usize,
}

A Binary Decision Diagram (BDD).

Fields

nodes: Vec<BDDNode>

The unique-table of nodes.

root: usize

Index of the root node.

Implementations

impl BDD

pub fn true_bdd() -> Self

Constant-true BDD.

pub fn false_bdd() -> Self

Constant-false BDD.

pub fn evaluate(&self, assignment: &HashMap<usize, bool>) -> bool

Evaluate the BDD under the given variable assignment.

Trait Implementations

impl Clone for BDD

fn clone(&self) -> BDD

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BDD

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

Formats the value using the given formatter.