cudd2-sys-0.1.1
- cudd2-sys 0.1.1
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- Benjamin-Davies
- Dependencies
- libc ^0.2 normal
  bindgen ^0.71 build
  fs_extra ^1.3 build
- Versions
- 1.59% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

cudd2_sys0.1.1

Function Cudd_DisableOrderingMonitoring

pub unsafe extern "C" fn Cudd_DisableOrderingMonitoring(
    dd: *mut DdManager,
) -> c_int