oxidd-manager-pointer 0.6.0

Pointer-based manager implementation for OxiDD
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Pointer-based manager implementation

//#![warn(missing_docs)]
#![deny(unsafe_op_in_unsafe_fn)]
#![allow(clippy::type_complexity)]

pub mod manager;
pub mod node;
pub mod terminal_manager;
pub mod workers;

mod util;

#[cfg(target_pointer_width = "16")]
compile_error!(
    "oxidd-manager-pointer assumes that for all `x: u32`, `x as usize` does not truncate"
);