Struct CuddManagerConfig 

pub struct CuddManagerConfig {
    pub num_vars: usize,
    pub num_vars_z: usize,
    pub num_slots: usize,
    pub cache_slots: usize,
    pub max_memory: usize,
    pub reorder_method: CuddReorderMethod,
}

Configuration for the CUDD manager

The documentation for these struct values has been taken from the CUDD user’s manual

See for example http://web.mit.edu/sage/export/tmp/y/usr/share/doc/polybori/cudd/node3.html

Fields

num_vars: usize

It is the initial number of variables for BDDs and ADDs. If the total number of variables needed by the application is known, then it is slightly more efficient to create a manager with that number of variables. If the number is unknown, it can be set to 0, or to any other lower bound on the number of variables. Requesting more variables than are actually needed is not incorrect, but is not efficient. Default value: 0

num_vars_z: usize

It is the initial number of variables for ZDDs. Default value: 0

num_slots: usize

Determines the initial size of each subtable of the unique table. There is a subtable for each variable. The size of each subtable is dynamically adjusted to reflect the number of nodes. It is normally O.K. to use the default value for this parameter, which is CUDD_UNIQUE_SLOTS. Default value: CUDD_UNIQUE_SLOTS.

cache_slots: usize

It is the initial size (number of entries) of the cache.
Default value: CUDD_CACHE_SLOTS.

max_memory: usize

It is the target value for the maximum memory occupation (in bytes). The package uses this value to decide two parameters. - the maximum size to which the cache will grow, regardless of the hit rate or the size of the unique table.
- the maximum size to which growth of the unique table will be preferred to garbage collection. Default value: 0

reorder_method: CuddReorderMethod

Reordering method to be used by the CUDD manager Default value: CuddReorderMethod::Sift

Trait Implementations

impl Clone for CuddManagerConfig

fn clone(&self) -> CuddManagerConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CuddManagerConfig

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

Formats the value using the given formatter.

impl Default for CuddManagerConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CuddManagerConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CuddManagerConfig

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