oxidd-dump 0.5.0

Dump OxiDD decision diagrams to file
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Im- and export of decision diagrams
//!
//! # Feature flags
#![doc = document_features::document_features!()]
#![warn(missing_docs)]
#![deny(unsafe_op_in_unsafe_fn)]
#![allow(clippy::type_complexity)]
// We use const assertions for reporting errors in case of obscure targets. To
// achieve this, we use assertions that evaluate to `true` on usual targets.
#![allow(clippy::assertions_on_constants)]

#[cfg(feature = "dddmp")]
pub mod dddmp;

#[cfg(feature = "dot")]
pub mod dot;