Module oxidd 

OxiDD library This module implements the BDD trait for the OxiDD library

TODO: With the release of oxidd v0.0.11 the API has changed significantly, for now everything has only been fixed to “work”, but there is a lot of room for improvement.

Structs

OxiDD

BDD type for OxiDD BDDs

OxiddManager

BDD manager for OxiDD BDDs

OxiddManagerConfig

Configuration for the OxiDD BDD manager

Constants

APPLY_CACHE_CAPACITY 🔒

Maximum number of nodes in the apply cache

INNER_NODE_CAPACITY 🔒

Maximum number of nodes in the BDD manager Exceeding this limit will cause the manager to panic

THREADS 🔒

Number of threads used for parallel operations

Functions

default_apply_cache_capacity 🔒

Function to get default apply cache capacity for the BDD manager

default_inner_node_capacity 🔒

Function to get default inner node capacity for the BDD manager

default_threads 🔒

Function to get default number of threads for the BDD manager