Lpk_Man_t_ Struct Reference
#include <lpkInt.h>
Collaboration diagram for Lpk_Man_t_:
Data Fields | |
| Lpk_Par_t * | pPars |
| Abc_Ntk_t * | pNtk |
| Abc_Obj_t * | pObj |
| int | nMffc |
| int | nCuts |
| int | nCutsMax |
| int | nEvals |
| Lpk_Cut_t | pCuts [LPK_CUTS_MAX] |
| int | pEvals [LPK_CUTS_MAX] |
| Vec_Vec_t * | vVisited |
| If_Man_t * | pIfMan |
| Vec_Int_t * | vCover |
| Vec_Vec_t * | vLevels |
| int | fCofactoring |
| int | fCalledOnce |
| int | nCalledSRed |
| int | pRefs [LPK_SIZE_MAX] |
| int | pCands [LPK_SIZE_MAX] |
| Vec_Ptr_t * | vLeaves |
| Vec_Ptr_t * | vTtElems |
| Vec_Ptr_t * | vTtNodes |
| Vec_Int_t * | vMemory |
| Vec_Int_t * | vBddDir |
| Vec_Int_t * | vBddInv |
| unsigned | puSupps [32] |
| unsigned * | ppTruths [5][16] |
| Vec_Int_t * | vSets [8] |
| Kit_DsdMan_t * | pDsdMan |
| int | nNodesTotal |
| int | nNodesOver |
| int | nCutsTotal |
| int | nCutsUseful |
| int | nGainTotal |
| int | nChanges |
| int | nBenefited |
| int | nMuxes |
| int | nDsds |
| int | nTotalNets |
| int | nTotalNets2 |
| int | nTotalNodes |
| int | nTotalNodes2 |
| int | nBlocks [17] |
| int | timeCuts |
| int | timeTruth |
| int | timeSupps |
| int | timeTruth2 |
| int | timeTruth3 |
| int | timeEval |
| int | timeMap |
| int | timeOther |
| int | timeTotal |
| int | timeEvalMuxAn |
| int | timeEvalMuxSp |
| int | timeEvalDsdAn |
| int | timeEvalDsdSp |
Detailed Description
Definition at line 67 of file lpkInt.h.
Field Documentation
| int Lpk_Man_t_::nBlocks[17] |
| int Lpk_Man_t_::pCands[LPK_SIZE_MAX] |
| Lpk_Cut_t Lpk_Man_t_::pCuts[LPK_CUTS_MAX] |
| int Lpk_Man_t_::pEvals[LPK_CUTS_MAX] |
| unsigned* Lpk_Man_t_::ppTruths[5][16] |
| int Lpk_Man_t_::pRefs[LPK_SIZE_MAX] |
| unsigned Lpk_Man_t_::puSupps[32] |
The documentation for this struct was generated from the following file:
- src/opt/lpk/lpkInt.h
