abc-master
|
Data Fields | |
int | nLeavesMax |
int | nDivsMax |
Abc_Obj_t * | pRoot |
int | nLeaves |
int | nDivs |
int | nMffc |
int | nLastGain |
Vec_Ptr_t * | vDivs |
int | nBits |
int | nWords |
Vec_Ptr_t * | vSims |
unsigned * | pInfo |
unsigned * | pCareSet |
Vec_Ptr_t * | vDivs1UP |
Vec_Ptr_t * | vDivs1UN |
Vec_Ptr_t * | vDivs1B |
Vec_Ptr_t * | vDivs2UP0 |
Vec_Ptr_t * | vDivs2UP1 |
Vec_Ptr_t * | vDivs2UN0 |
Vec_Ptr_t * | vDivs2UN1 |
Vec_Ptr_t * | vTemp |
abctime | timeCut |
abctime | timeTruth |
abctime | timeRes |
abctime | timeDiv |
abctime | timeMffc |
abctime | timeSim |
abctime | timeRes1 |
abctime | timeResD |
abctime | timeRes2 |
abctime | timeRes3 |
abctime | timeNtk |
abctime | timeTotal |
int | nUsedNodeC |
int | nUsedNode0 |
int | nUsedNode1Or |
int | nUsedNode1And |
int | nUsedNode2Or |
int | nUsedNode2And |
int | nUsedNode2OrAnd |
int | nUsedNode2AndOr |
int | nUsedNode3OrAnd |
int | nUsedNode3AndOr |
int | nUsedNodeTotal |
int | nTotalDivs |
int | nTotalLeaves |
int | nTotalGain |
int | nNodesBeg |
int | nNodesEnd |
Definition at line 35 of file abcResub.c.
int Abc_ManRes_t_::nBits |
Definition at line 48 of file abcResub.c.
int Abc_ManRes_t_::nDivs |
Definition at line 43 of file abcResub.c.
int Abc_ManRes_t_::nDivsMax |
Definition at line 39 of file abcResub.c.
int Abc_ManRes_t_::nLastGain |
Definition at line 45 of file abcResub.c.
int Abc_ManRes_t_::nLeaves |
Definition at line 42 of file abcResub.c.
int Abc_ManRes_t_::nLeavesMax |
Definition at line 38 of file abcResub.c.
int Abc_ManRes_t_::nMffc |
Definition at line 44 of file abcResub.c.
int Abc_ManRes_t_::nNodesBeg |
Definition at line 92 of file abcResub.c.
int Abc_ManRes_t_::nNodesEnd |
Definition at line 93 of file abcResub.c.
int Abc_ManRes_t_::nTotalDivs |
Definition at line 89 of file abcResub.c.
int Abc_ManRes_t_::nTotalGain |
Definition at line 91 of file abcResub.c.
int Abc_ManRes_t_::nTotalLeaves |
Definition at line 90 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode0 |
Definition at line 79 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode1And |
Definition at line 81 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode1Or |
Definition at line 80 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode2And |
Definition at line 83 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode2AndOr |
Definition at line 85 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode2Or |
Definition at line 82 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode2OrAnd |
Definition at line 84 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode3AndOr |
Definition at line 87 of file abcResub.c.
int Abc_ManRes_t_::nUsedNode3OrAnd |
Definition at line 86 of file abcResub.c.
int Abc_ManRes_t_::nUsedNodeC |
Definition at line 78 of file abcResub.c.
int Abc_ManRes_t_::nUsedNodeTotal |
Definition at line 88 of file abcResub.c.
int Abc_ManRes_t_::nWords |
Definition at line 49 of file abcResub.c.
unsigned* Abc_ManRes_t_::pCareSet |
Definition at line 53 of file abcResub.c.
unsigned* Abc_ManRes_t_::pInfo |
Definition at line 51 of file abcResub.c.
Abc_Obj_t* Abc_ManRes_t_::pRoot |
Definition at line 41 of file abcResub.c.
abctime Abc_ManRes_t_::timeCut |
Definition at line 65 of file abcResub.c.
abctime Abc_ManRes_t_::timeDiv |
Definition at line 68 of file abcResub.c.
abctime Abc_ManRes_t_::timeMffc |
Definition at line 69 of file abcResub.c.
abctime Abc_ManRes_t_::timeNtk |
Definition at line 75 of file abcResub.c.
abctime Abc_ManRes_t_::timeRes |
Definition at line 67 of file abcResub.c.
abctime Abc_ManRes_t_::timeRes1 |
Definition at line 71 of file abcResub.c.
abctime Abc_ManRes_t_::timeRes2 |
Definition at line 73 of file abcResub.c.
abctime Abc_ManRes_t_::timeRes3 |
Definition at line 74 of file abcResub.c.
abctime Abc_ManRes_t_::timeResD |
Definition at line 72 of file abcResub.c.
abctime Abc_ManRes_t_::timeSim |
Definition at line 70 of file abcResub.c.
abctime Abc_ManRes_t_::timeTotal |
Definition at line 76 of file abcResub.c.
abctime Abc_ManRes_t_::timeTruth |
Definition at line 66 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vDivs |
Definition at line 46 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vDivs1B |
Definition at line 57 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vDivs1UN |
Definition at line 56 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vDivs1UP |
Definition at line 55 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vDivs2UN0 |
Definition at line 60 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vDivs2UN1 |
Definition at line 61 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vDivs2UP0 |
Definition at line 58 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vDivs2UP1 |
Definition at line 59 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vSims |
Definition at line 50 of file abcResub.c.
Vec_Ptr_t* Abc_ManRes_t_::vTemp |
Definition at line 63 of file abcResub.c.