diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-27 20:17:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-27 20:17:52 -0700 |
| commit | 6c2ac7661dc1ea3ddd83617dd247a467e00486de (patch) | |
| tree | 305b42eaf412fa59700dfdc4f8e4f0cd84d18aea /src/map/if/if.h | |
| parent | 86ba294dc89a07af93d1cb31a1137c2e11300b4f (diff) | |
| download | abc-6c2ac7661dc1ea3ddd83617dd247a467e00486de.tar.gz abc-6c2ac7661dc1ea3ddd83617dd247a467e00486de.tar.bz2 abc-6c2ac7661dc1ea3ddd83617dd247a467e00486de.zip | |
Added another specialized check to the mapper.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 8 |
1 files changed, 5 insertions, 3 deletions
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 ); |