#include <resInt.h>

Data Fields | |
| Abc_Obj_t * | pNode |
| int | nWinTfiMax |
| int | nWinTfoMax |
| int | nLevDivMax |
| int | nFanoutLimit |
| int | nLevTfiMinus |
| int | nLevLeafMin |
| int | nLevTravMin |
| int | nDivsPlus |
| Vec_Ptr_t * | vRoots |
| Vec_Ptr_t * | vLeaves |
| Vec_Ptr_t * | vBranches |
| Vec_Ptr_t * | vNodes |
| Vec_Ptr_t * | vDivs |
| Vec_Vec_t * | vMatrix |
Definition at line 43 of file resInt.h.
1.6.1