oxidd_dump/
lib.rs

1//! Im- and export of decision diagrams
2//!
3//! # Feature flags
4#![doc = document_features::document_features!()]
5#![warn(missing_docs)]
6#![deny(unsafe_op_in_unsafe_fn)]
7#![allow(clippy::type_complexity)]
8// We use const assertions for reporting errors in case of obscure targets. To
9// achieve this, we use assertions that evaluate to `true` on usual targets.
10#![allow(clippy::assertions_on_constants)]
11
12#[cfg(feature = "dddmp")]
13pub mod dddmp;
14
15#[cfg(feature = "dot")]
16pub mod dot;