Lib.rs

Cargo Features

[dependencies]
oxidd-dump = { version = "0.4.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 ^1.1

fast hash function

Note that there is a performance regression with 2.0, see https://github.com/rust-lang/rustc-hash/issues/45

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