Struct CuddDD 

pub struct CuddDD {
    mgr: Rc<InternalCuddMgrPtr>,
    node: *mut DdNode,
}

BDD type for CUDD BDDs

Fields

mgr: Rc<InternalCuddMgrPtr>

node: *mut DdNode

Implementations

impl CuddDD

fn new(mgr: Rc<InternalCuddMgrPtr>, node: *mut DdNode) -> Self

Trait Implementations

impl Bdd for CuddDD

fn and(&self, rhs: &Self) -> Self

Conjunction of two BDDs.

fn or(&self, rhs: &Self) -> Self

Disjunction of two BDDs.

fn not(&self) -> Self

Negation of a BDD.

fn exists<'a, I: IntoIterator<Item = &'a Self>>(&'a self, vars: I) -> Self

Existential quantification over a set of variables vars

fn satisfiable(&self) -> bool

Check whether a satisfying assignment exists for the BDD.

fn implies(&self, other: &Self) -> Self

Compute the implication of two BDDs, i.e., the bdd lhs => rhs.

fn equiv(&self, other: &Self) -> Self

Compute the equivalence of two BDDs, i.e., the bdd lhs <=> rhs.

fn swap<'a, I: IntoIterator<Item = &'a Self>>(&'a self, from: I, to: I) -> Self

Swap variables according to the permutation.

impl Clone for CuddDD

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CuddDD

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

Formats the value using the given formatter.

impl Display for CuddDD

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

Formats the value using the given formatter.

impl Drop for CuddDD

fn drop(&mut self)

Executes the destructor for this type.

impl PartialEq for CuddDD

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