cudd2-sys-0.2.0
- cudd2-sys 0.2.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- Benjamin-Davies
- Dependencies
- libc ^0.2.174 normal
  bindgen ^0.71.0 build
  fs_extra ^1.3.0 build
- Versions
- 1.53% of the crate is documented
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Cudd_zddCountDouble

cudd2_sys0.2.0

Function Cudd_zddCountDouble

pub unsafe extern "C" fn Cudd_zddCountDouble(
    zdd: *mut DdManager,
    P: *mut DdNode,
) -> f64