abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Aig_CuddMan_t_ Struct Reference

Data Fields

Aig_Man_tpAig
 
st__tablepTable
 

Detailed Description

Definition at line 32 of file cudd2.c.

Field Documentation

Aig_Man_t* Aig_CuddMan_t_::pAig

Definition at line 34 of file cudd2.c.

st__table* Aig_CuddMan_t_::pTable

Definition at line 35 of file cudd2.c.


The documentation for this struct was generated from the following file: