cudd-sys-1.1.1
- cudd-sys 1.1.1
- Permalink
- Docs.rs crate page
- CC0-1.0
- Links
- Repository
- crates.io
- Source
- Owners
- pclewis
- daemontus
- Dependencies
- libc ^0.2 normal
  autotools ^0.2.7 build
- Versions
- 8.2% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Cudd_bddConstrainDecomp

cudd_sys1.1.1

In cudd_sys::cudd

Function Cudd_bddConstrainDecomp

pub unsafe extern "C" fn Cudd_bddConstrainDecomp(
    dd: *mut DdManager,
    f: *mut DdNode,
) -> *mut *mut DdNode