diff options
Diffstat (limited to 'src/misc/tim/tim.h')
| -rw-r--r-- | src/misc/tim/tim.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h index ba2b1bdb..df69ae36 100644 --- a/src/misc/tim/tim.h +++ b/src/misc/tim/tim.h @@ -130,6 +130,7 @@ extern Tim_Man_t * Tim_ManLoad( Vec_Str_t * p, int fHieOnly ); extern Tim_Man_t * Tim_ManStart( int nCis, int nCos ); extern Tim_Man_t * Tim_ManDup( Tim_Man_t * p, int fUnitDelay ); extern Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres ); +extern Tim_Man_t * Tim_ManReduce( Tim_Man_t * p, Vec_Int_t * vBoxesLeft ); extern Vec_Int_t * Tim_ManAlignTwo( Tim_Man_t * pSpec, Tim_Man_t * pImpl ); extern void Tim_ManCreate( Tim_Man_t * p, void * pLib, Vec_Flt_t * vInArrs, Vec_Flt_t * vOutReqs ); extern float * Tim_ManGetArrTimes( Tim_Man_t * p ); |