Enum BDDManager 

pub enum BDDManager {
    CuDD(CuddManager),
    OxiDD(OxiddManager),
}

The BDDManager type allows to interface with BDD Managers from different libraries.

Currently, the supported BDD libraries are:

• CUDD
• OxiDD

Variants

CuDD(CuddManager)

CUDD BDD library backend

OxiDD(OxiddManager)

OxiDD BDD library backend

Implementations

impl BDDManager

pub fn new(cfg: &BDDManagerConfig) -> Self

Create a new BDD manager with the given configuration

pub fn new_oxidd() -> Self

Create a new Oxidd BDD manager with default configuration.

pub fn new_oxidd_with_config(cfg: &OxiddManagerConfig) -> Self

Create a new Oxidd BDD manager with custom configuration.

pub fn new_cudd() -> Self

Create a new CUDD BDD manager with default configuration.

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

Create a new CUDD BDD manager with custom configuration.

Trait Implementations

impl BddManager for BDDManager

type DD = BDD

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 BDDManager

fn clone(&self) -> BDDManager

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BDDManager

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

Formats the value using the given formatter.

impl Default for BDDManager

fn default() -> Self

Default BDD manager is the CUDD manager, if the cudd feature is enabled. Otherwise, it will default to the OxiDD manager or panic if no BDD library is enabled during compilation.

impl PartialEq for BDDManager

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

fn get_new_bdd_manager(&self) -> BDDManager

Get a new, already configured bdd manager

impl StructuralPartialEq for BDDManager