Struct cudd_sys::DdManager [−][src]
#[repr(C)]pub struct DdManager { /* fields omitted */ }
Expand description
An opaque C struct used to represent the CUDD manager.
#[repr(C)]pub struct DdManager { /* fields omitted */ }
An opaque C struct used to represent the CUDD manager.