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
somewhere in the dependency tree.default-features = false 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
- 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
-
adf_bdd:
set of features for speed benchmarks