Lib.rs

Cargo Features

[dependencies]
oxidd-dump = { version = "0.1.0", default-features = false, features = ["dddmp", "dot"] }

default = dddmp, dot

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

dddmp default = bitvec, is_sorted, memchr, rustc-hash

DDDMP format originally from CUDD

Affects oxidd-dump::dddmp…

dot default

Visualization using dot

Affects oxidd-dump::dot…

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

bitvec dddmp

Enables bitvec

bit vectors

rustc-hash dddmp

Enables rustc-hash

fast hash function

memchr dddmp

Enables memchr

optimized searching for characters in &[u8]

is_sorted dddmp

Enables is_sorted

check whether an iterator is sorted TODO: remove this once is_sorted becomes stable