diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-11 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-11 08:01:00 -0700 |
| commit | 651a32cdc379d2341c631b719ed9af16ce5a66c9 (patch) | |
| tree | 9c4ffb213ac4a958db8134e21c5e83bafe48005b /src/map/if/if.h | |
| parent | c645bac3663c265470024b44ed91b0afdbe59b88 (diff) | |
| download | abc-651a32cdc379d2341c631b719ed9af16ce5a66c9.tar.gz abc-651a32cdc379d2341c631b719ed9af16ce5a66c9.tar.bz2 abc-651a32cdc379d2341c631b719ed9af16ce5a66c9.zip | |
Version abc80411
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index e0b9584d..8cf5c0e8 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -246,7 +246,6 @@ static inline int If_ObjIsConst1( If_Obj_t * pObj ) { r static inline int If_ObjIsCi( If_Obj_t * pObj ) { return pObj->Type == IF_CI; } static inline int If_ObjIsCo( If_Obj_t * pObj ) { return pObj->Type == IF_CO; } static inline int If_ObjIsTerm( If_Obj_t * pObj ) { return pObj->Type == IF_CI || pObj->Type == IF_CO; } -//static inline int If_ObjIsPi( If_Obj_t * pObj ) { return If_ObjIsCi(pObj) && pObj->pFanin0 == NULL; } static inline int If_ObjIsLatch( If_Obj_t * pObj ) { return If_ObjIsCi(pObj) && pObj->pFanin0 != NULL; } static inline int If_ObjIsAnd( If_Obj_t * pObj ) { return pObj->Type == IF_AND; } @@ -343,8 +342,10 @@ extern int If_ManPerformMappingComb( If_Man_t * p ); /*=== ifCut.c ============================================================*/ extern int If_CutFilter( If_Set_t * pCutSet, If_Cut_t * pCut ); extern void If_CutSort( If_Man_t * p, If_Set_t * pCutSet, If_Cut_t * pCut ); +extern void If_CutOrder( If_Cut_t * pCut ); extern int If_CutMerge( If_Cut_t * pCut0, If_Cut_t * pCut1, If_Cut_t * pCut ); -extern void If_CutPrint( If_Man_t * p, If_Cut_t * pCut ); +extern int If_CutCheck( If_Cut_t * pCut ); +extern void If_CutPrint( If_Cut_t * pCut ); extern void If_CutPrintTiming( If_Man_t * p, If_Cut_t * pCut ); extern void If_CutLift( If_Cut_t * pCut ); extern void If_CutCopy( If_Man_t * p, If_Cut_t * pCutDest, If_Cut_t * pCutSrc ); @@ -365,6 +366,7 @@ extern If_Lib_t * If_LutLibDup( If_Lib_t * p ); extern void If_LutLibFree( If_Lib_t * pLutLib ); extern void If_LutLibPrint( If_Lib_t * pLutLib ); extern int If_LutLibDelaysAreDiscrete( If_Lib_t * pLutLib ); +extern int If_LutLibDelaysAreDifferent( If_Lib_t * pLutLib ); extern If_Lib_t * If_SetSimpleLutLib( int nLutSize ); extern float If_LutLibFastestPinDelay( If_Lib_t * p ); extern float If_LutLibSlowestPinDelay( If_Lib_t * p ); |