Struct cudd_sys::DdTlcInfo [−][src]
#[repr(C)]pub struct DdTlcInfo { /* fields omitted */ }
Expand description
An opaque C struct used to represent the result of the computation of two-literal clauses.
See Cudd_FindTwoLiteralClauses
.