Struct CuddManager 

pub struct CuddManager {
    mgr: Rc<InternalCuddMgrPtr>,
    next_var_index: Rc<Mutex<usize>>,
}

Manager type for CUDD Decision Diagrams

This manager internally uses the CUDD library to create and manipulate BDDs.

Note that this manager uses unsafe code to interact with the CUDD library.

Fields

mgr: Rc<InternalCuddMgrPtr>

CUDD manager object

next_var_index: Rc<Mutex<usize>>

Index of the next variable to be created

Implementations

impl CuddManager

pub fn new() -> Self

pub fn new_with_config(cfg: &CuddManagerConfig) -> Self

Trait Implementations

impl BddManager for CuddManager

type DD = CuddDD

The type of BDDs created by the manager.

fn new_var(&mut self) -> Self::DD

Create a new BDD that is not referenced yet.

fn get_bdd_false(&self) -> Self::DD

Get false BDD

fn get_bdd_true(&self) -> Self::DD

Get true BDD

impl Clone for CuddManager

fn clone(&self) -> Self

Clone of a CUDD manager creates a shallow copy of the manager

It does therefore not clone the CUDD manager itself, all modifications to the manager and BDDs will be reflected in all clones.

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

Performs copy-assignment from source.

impl Debug for CuddManager

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

Formats the value using the given formatter.

impl Default for CuddManager

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for CuddManager

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

Two CUDD managers are equal if they share the same CUDD manager object

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.