Struct OxiddManager 

pub struct OxiddManager {
    mgr: BDDManagerRef,
    next_var_index: Rc<Mutex<u32>>,
}

BDD manager for OxiDD BDDs

This manager is a wrapper around the OxiDD BDD manager. It panics if the BDD manager runs out of memory.

By default the manager is configured to have a maximum of 2^30 nodes and 2^10 nodes in the apply cache.

Fields

mgr: BDDManagerRef

Reference to the manager

next_var_index: Rc<Mutex<u32>>

Index of the next variable to be created

Implementations

impl OxiddManager

pub fn new() -> Self

Create a new Oxidd BDD manager with default configuration

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

This manager panics if it runs out of memory. By default the manager is configured to have a maximum of 2^30 nodes and 2^10 nodes in the apply cache.

pub fn new_with_config(config: &OxiddManagerConfig) -> Self

Create a new Oxidd BDD manager with custom configuration

Trait Implementations

impl BddManager for OxiddManager

type DD = OxiDD

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 OxiddManager

fn clone(&self) -> OxiddManager

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OxiddManager

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

Formats the value using the given formatter.

impl Default for OxiddManager

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for OxiddManager

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

Compare based on the manager objects

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

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