diff options
Diffstat (limited to 'src/opt/lpk/lpkInt.h')
-rw-r--r-- | src/opt/lpk/lpkInt.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkInt.h b/src/opt/lpk/lpkInt.h index fe442302..683e7b92 100644 --- a/src/opt/lpk/lpkInt.h +++ b/src/opt/lpk/lpkInt.h @@ -87,6 +87,7 @@ struct Lpk_Man_t_ // temporary variables int fCofactoring; // working in the cofactoring mode int fCalledOnce; // limits the depth of MUX cofactoring + int nCalledSRed; // the number of called to SRed int pRefs[LPK_SIZE_MAX]; // fanin reference counters int pCands[LPK_SIZE_MAX]; // internal nodes pointing only to the leaves // truth table representation @@ -94,6 +95,7 @@ struct Lpk_Man_t_ Vec_Ptr_t * vTtNodes; // storage for temporary truth tables of the nodes // variable sets Vec_Int_t * vSets[8]; + Kit_DsdMan_t * pDsdMan; // statistics int nNodesTotal; // total number of nodes int nNodesOver; // nodes with cuts over the limit @@ -101,6 +103,9 @@ struct Lpk_Man_t_ int nCutsUseful; // useful cuts int nGainTotal; // the gain in LUTs int nChanges; // the number of changed nodes + int nBenefited; // the number of gainful that benefited from decomposition + int nTotalNets; + int nTotalNets2; // counter of non-DSD blocks int nBlocks[17]; // rutime @@ -138,7 +143,6 @@ extern int Lpk_NodeCuts( Lpk_Man_t * p ); extern Lpk_Man_t * Lpk_ManStart( Lpk_Par_t * pPars ); extern void Lpk_ManStop( Lpk_Man_t * p ); /*=== lpkMap.c =========================================================*/ -extern int Lpk_CutExplore( Lpk_Man_t * p, Lpk_Cut_t * pCut, Kit_DsdNtk_t * pNtk ); extern If_Obj_t * Lpk_MapPrime( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves ); extern If_Obj_t * Lpk_MapTree_rec( Lpk_Man_t * p, Kit_DsdNtk_t * pNtk, If_Obj_t ** ppLeaves, int iLit, If_Obj_t * pResult ); /*=== lpkMulti.c =======================================================*/ |