Lib.rs

Cargo Features

[dependencies]
oxidd = { version = "0.6.0", default-features = false, features = ["bdd", "bcdd", "mtbdd", "tdd", "zbdd", "multi-threading", "manager-index", "manager-pointer", "apply-cache-direct-mapped", "statistics"] }

default = apply-cache-direct-mapped, bcdd, bdd, manager-index, mtbdd, multi-threading, zbdd

These default features are set whenever oxidd is added without default-features = false somewhere in the dependency tree.

bdd default

Enable the simple BDD implementation

Enables simple of oxidd-rules-bdd

Affects oxidd::bdd…

bcdd default

Enable the complement edge BDD implementation

Enables complement-edge of oxidd-rules-bdd

Affects oxidd::bcdd…

mtbdd default

Enable the MTBDD implementation

Enables oxidd-rules-mtbdd

Affects oxidd::mtbdd…

tdd

Enable the TDD implementation

Enables oxidd-rules-tdd

Affects oxidd::tdd…

zbdd default

Enable the ZBDD implementation

Enables oxidd-rules-zbdd

Affects oxidd::zbdd…

multi-threading default

Use multi-threaded implementations of the apply algorithm

Enables multi-threading of optional oxidd-rules-bdd, optional oxidd-rules-mtbdd, optional oxidd-rules-tdd, and optional oxidd-rules-zbdd

manager-index default

Use the index-based manager implementation

This implementation is generally faster than the pointer-based implementation, but is more restricted: There is no possibility to reserve space for more nodes after the initial allocation and the total number of nodes is limited to 2³² nodes for BDDs/ZBDDs, or 2³¹ nodes for BCDDs.

Enables oxidd-manager-index

Affects type_cons::IndexDD…

manager-pointer

Use the pointer-based manager implementation (suitable for BDDs/ZBDDs with more than 2³² nodes, or BCDDs with more than 2³¹ nodes)

If both manager-index and manager-pointer are specified, the pointer-based implementation will be used.

Enables oxidd-manager-pointer

Affects type_cons::PointerDD…

apply-cache-direct-mapped default

Enable the direct mapped apply cache

Enables direct of oxidd-cache

statistics

Enable statistics (will harm performance)

Enables statistics of optional oxidd-manager-index, optional oxidd-rules-bdd, optional oxidd-rules-mtbdd, optional oxidd-rules-tdd, and optional oxidd-rules-zbdd