abc-master
|
Data Fields | |
Aig_Man_t * | pInit |
Aig_Man_t * | pAig |
Gia_ParLlb_t * | pPars |
DdManager * | dd |
DdManager * | ddG |
DdManager * | ddR |
Vec_Ptr_t * | vRings |
Vec_Ptr_t * | vLeaves |
Vec_Ptr_t * | vRoots |
int * | pVars2Q |
int * | pOrderL |
int * | pOrderL2 |
int * | pOrderG |
Vec_Int_t * | vCs2Glo |
Vec_Int_t * | vNs2Glo |
Vec_Int_t * | vGlo2Cs |
Vec_Int_t * | vGlo2Ns |
int | ddLocReos |
int | ddLocGrbs |
abctime | timeImage |
abctime | timeTran1 |
abctime | timeTran2 |
abctime | timeGloba |
abctime | timeOther |
abctime | timeTotal |
abctime | timeReo |
abctime | timeReoG |
Definition at line 31 of file llb3Nonlin.c.
DdManager* Llb_Mnn_t_::dd |
Definition at line 37 of file llb3Nonlin.c.
DdManager* Llb_Mnn_t_::ddG |
Definition at line 38 of file llb3Nonlin.c.
int Llb_Mnn_t_::ddLocGrbs |
Definition at line 55 of file llb3Nonlin.c.
int Llb_Mnn_t_::ddLocReos |
Definition at line 54 of file llb3Nonlin.c.
DdManager* Llb_Mnn_t_::ddR |
Definition at line 39 of file llb3Nonlin.c.
Aig_Man_t* Llb_Mnn_t_::pAig |
Definition at line 34 of file llb3Nonlin.c.
Aig_Man_t* Llb_Mnn_t_::pInit |
Definition at line 33 of file llb3Nonlin.c.
int* Llb_Mnn_t_::pOrderG |
Definition at line 47 of file llb3Nonlin.c.
int* Llb_Mnn_t_::pOrderL |
Definition at line 45 of file llb3Nonlin.c.
int* Llb_Mnn_t_::pOrderL2 |
Definition at line 46 of file llb3Nonlin.c.
Gia_ParLlb_t* Llb_Mnn_t_::pPars |
Definition at line 35 of file llb3Nonlin.c.
int* Llb_Mnn_t_::pVars2Q |
Definition at line 44 of file llb3Nonlin.c.
abctime Llb_Mnn_t_::timeGloba |
Definition at line 60 of file llb3Nonlin.c.
abctime Llb_Mnn_t_::timeImage |
Definition at line 57 of file llb3Nonlin.c.
abctime Llb_Mnn_t_::timeOther |
Definition at line 61 of file llb3Nonlin.c.
abctime Llb_Mnn_t_::timeReo |
Definition at line 63 of file llb3Nonlin.c.
abctime Llb_Mnn_t_::timeReoG |
Definition at line 64 of file llb3Nonlin.c.
abctime Llb_Mnn_t_::timeTotal |
Definition at line 62 of file llb3Nonlin.c.
abctime Llb_Mnn_t_::timeTran1 |
Definition at line 58 of file llb3Nonlin.c.
abctime Llb_Mnn_t_::timeTran2 |
Definition at line 59 of file llb3Nonlin.c.
Vec_Int_t* Llb_Mnn_t_::vCs2Glo |
Definition at line 49 of file llb3Nonlin.c.
Vec_Int_t* Llb_Mnn_t_::vGlo2Cs |
Definition at line 51 of file llb3Nonlin.c.
Vec_Int_t* Llb_Mnn_t_::vGlo2Ns |
Definition at line 52 of file llb3Nonlin.c.
Vec_Ptr_t* Llb_Mnn_t_::vLeaves |
Definition at line 42 of file llb3Nonlin.c.
Vec_Int_t* Llb_Mnn_t_::vNs2Glo |
Definition at line 50 of file llb3Nonlin.c.
Vec_Ptr_t* Llb_Mnn_t_::vRings |
Definition at line 40 of file llb3Nonlin.c.
Vec_Ptr_t* Llb_Mnn_t_::vRoots |
Definition at line 43 of file llb3Nonlin.c.