diff options
Diffstat (limited to 'src/aig/tim/tim.h')
| -rw-r--r-- | src/aig/tim/tim.h | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/src/aig/tim/tim.h b/src/aig/tim/tim.h index d73a89d8..3b9707e0 100644 --- a/src/aig/tim/tim.h +++ b/src/aig/tim/tim.h @@ -43,7 +43,7 @@ typedef struct Tim_Man_t_ Tim_Man_t; /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// -#define TIME_ETERNITY 10000 +#define TIM_ETERNITY 10000 //////////////////////////////////////////////////////////////////////// /// ITERATORS /// @@ -58,7 +58,7 @@ typedef struct Tim_Man_t_ Tim_Man_t; //////////////////////////////////////////////////////////////////////// /*=== time.c ===========================================================*/ -extern Tim_Man_t * Tim_ManStart( int nPis, int nPos ); +extern Tim_Man_t * Tim_ManStart( int nCis, int nCos ); extern Tim_Man_t * Tim_ManDup( Tim_Man_t * p, int fDiscrete ); extern Tim_Man_t * Tim_ManDupUnit( Tim_Man_t * p ); extern Tim_Man_t * Tim_ManDupApprox( Tim_Man_t * p ); @@ -68,18 +68,22 @@ extern void Tim_ManTravIdDisable( Tim_Man_t * p ); extern void Tim_ManTravIdEnable( Tim_Man_t * p ); extern void Tim_ManSetCurrentTravIdBoxInputs( Tim_Man_t * p, int iBox ); extern void Tim_ManSetCurrentTravIdBoxOutputs( Tim_Man_t * p, int iBox ); +extern void Tim_ManSetPreviousTravIdBoxInputs( Tim_Man_t * p, int iBox ); +extern void Tim_ManSetPreviousTravIdBoxOutputs( Tim_Man_t * p, int iBox ); +extern int Tim_ManIsCiTravIdCurrent( Tim_Man_t * p, int iCi ); +extern int Tim_ManIsCoTravIdCurrent( Tim_Man_t * p, int iCo ); extern void Tim_ManSetDelayTables( Tim_Man_t * p, Vec_Ptr_t * vDelayTables ); extern void Tim_ManCreateBox( Tim_Man_t * p, int * pIns, int nIns, int * pOuts, int nOuts, float * pDelayTable ); extern void Tim_ManCreateBoxFirst( Tim_Man_t * p, int firstIn, int nIns, int firstOut, int nOuts, float * pDelayTable ); extern void Tim_ManIncrementTravId( Tim_Man_t * p ); -extern void Tim_ManInitPiArrival( Tim_Man_t * p, int iPi, float Delay ); -extern void Tim_ManInitPoRequired( Tim_Man_t * p, int iPo, float Delay ); -extern void Tim_ManSetPoArrival( Tim_Man_t * p, int iPo, float Delay ); -extern void Tim_ManSetPiRequired( Tim_Man_t * p, int iPi, float Delay ); -extern void Tim_ManSetPoRequired( Tim_Man_t * p, int iPo, float Delay ); -extern void Tim_ManSetPoRequiredAll( Tim_Man_t * p, float Delay ); -extern float Tim_ManGetPiArrival( Tim_Man_t * p, int iPi ); -extern float Tim_ManGetPoRequired( Tim_Man_t * p, int iPo ); +extern void Tim_ManInitCiArrival( Tim_Man_t * p, int iCi, float Delay ); +extern void Tim_ManInitCoRequired( Tim_Man_t * p, int iCo, float Delay ); +extern void Tim_ManSetCoArrival( Tim_Man_t * p, int iCo, float Delay ); +extern void Tim_ManSetCiRequired( Tim_Man_t * p, int iCi, float Delay ); +extern void Tim_ManSetCoRequired( Tim_Man_t * p, int iCo, float Delay ); +extern void Tim_ManSetCoRequiredAll( Tim_Man_t * p, float Delay ); +extern float Tim_ManGetCiArrival( Tim_Man_t * p, int iCi ); +extern float Tim_ManGetCoRequired( Tim_Man_t * p, int iCo ); extern int Tim_ManBoxForCi( Tim_Man_t * p, int iCo ); extern int Tim_ManBoxForCo( Tim_Man_t * p, int iCi ); extern int Tim_ManBoxInputFirst( Tim_Man_t * p, int iBox ); |