Lib.rs

› oxidd-rules-bdd › Features

Cargo Features

[dependencies]
oxidd-rules-bdd = { version = "0.9.0", default-features = false, features = ["simple", "complement-edge", "multi-threading", "statistics"] }
default = complement-edge, multi-threading, simple

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

simple default

Enable the simple BDD implementation

Affects oxidd-rules-bdd::simple…

complement-edge default

Enable the complement edge BDD implementation

Affects oxidd-rules-bdd::complement_edge…

multi-threading default

Enable multi-threaded apply implementations

Affects apply_rec::mt, recursor::mt, apply_rec::mt…

statistics

Enable statistics generation

Affects complement_edge::print_stats, simple::print_stats…