Enum BDDManagerConfig 

pub enum BDDManagerConfig {
    Cudd(CuddManagerConfig),
    Oxidd(OxiddManagerConfig),
}

Configuration for a BDD manager

This struct is the common interface for configuration of a BDD manager.

Variants

Cudd(CuddManagerConfig)

CUDD manager configuration

Oxidd(OxiddManagerConfig)

OxiDD manager configuration

Implementations

impl BDDManagerConfig

pub fn mgr_from_config(&self) -> BDDManager

Create a new BDD manager with the current configuration

pub fn new_cudd() -> Self

Get the default configuration for the cudd BDD manager

pub fn new_oxidd() -> Self

Get the default configuration for the oxidd BDD manager

Trait Implementations

impl Clone for BDDManagerConfig

fn clone(&self) -> BDDManagerConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BDDManagerConfig

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BDDManagerConfig

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for BDDManagerConfig

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