From 6c2ac7661dc1ea3ddd83617dd247a467e00486de Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 27 Jun 2011 20:17:52 -0700 Subject: Added another specialized check to the mapper. --- src/map/if/if.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/map/if/if.h') diff --git a/src/map/if/if.h b/src/map/if/if.h index 2584f281..61944eaa 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -96,8 +96,9 @@ struct If_Par_t_ int fBidec; // use bi-decomposition int fUseBat; // use one specialized feature int fUseBuffs; // use buffers to decouple outputs - int fEnableCheck; // enable additional checking - int fEnableCheck2; // enable additional checking + int fEnableCheck07;// enable additional checking + int fEnableCheck08;// enable additional checking + int fEnableCheck10;// enable additional checking int fVerbose; // the verbosity flag // internal parameters int fDelayOpt; // special delay optimization @@ -406,7 +407,8 @@ extern float If_CutPowerRef( If_Man_t * p, If_Cut_t * pCut, If_Obj_t * extern float If_CutPowerDerefed( If_Man_t * p, If_Cut_t * pCut, If_Obj_t * pRoot ); extern float If_CutPowerRefed( If_Man_t * p, If_Cut_t * pCut, If_Obj_t * pRoot ); /*=== ifDec.c =============================================================*/ -extern int If_CutPerformCheck( unsigned * pTruth, int nVars, int nLeaves ); +extern int If_CutPerformCheck07( unsigned * pTruth, int nVars, int nLeaves ); +extern int If_CutPerformCheck08( unsigned * pTruth, int nVars, int nLeaves ); extern int If_CutPerformCheck10( unsigned * pTruth, int nVars, int nLeaves ); /*=== ifLib.c =============================================================*/ extern If_Lib_t * If_LutLibRead( char * FileName ); -- cgit v1.2.3