|
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.