Cargo Features

[dependencies]
adf-bdd-bin = { version = "0.3.0", default-features = false, features = ["adhoccounting", "importexport", "variablelist", "HashSet", "adhoccountmodels", "benchmark"] }
default = adhoccounting, variablelist

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

Enables adf_bdd

adhoccounting default

count models ad-hoc - disable if counting is not needed

Enables adhoccounting of adf_bdd

importexport

Enables importexport of adf_bdd

variablelist default = HashSet

Enables variablelist of adf_bdd

HashSet variablelist

Enables HashSet of adf_bdd

adhoccountmodels

Enables adhoccountmodels of adf_bdd

adf_bdd:

count models as well as paths ad-hoc note that facet methods will need this feature too

benchmark

Enables benchmark of adf_bdd

adf_bdd:

set of features for speed benchmarks