diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-23 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-23 08:01:00 -0800 |
| commit | 6c68b76bff33daa7cd94b78c51bdd4cdaf65059c (patch) | |
| tree | feb304b4b8bf8e9a7ae7039b4ff745e997208b41 /src/aig/tim/tim.h | |
| parent | d4fecf91efcd090caa9a5cbfb05059361e84c4ec (diff) | |
| download | abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.tar.gz abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.tar.bz2 abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.zip | |
Version abc80123
Diffstat (limited to 'src/aig/tim/tim.h')
| -rw-r--r-- | src/aig/tim/tim.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/tim/tim.h b/src/aig/tim/tim.h index 8b11ca02..d7544169 100644 --- a/src/aig/tim/tim.h +++ b/src/aig/tim/tim.h @@ -59,6 +59,7 @@ typedef struct Tim_Man_t_ Tim_Man_t; /*=== time.c ===========================================================*/ extern Tim_Man_t * Tim_ManStart( int nPis, int nPos ); extern void Tim_ManStop( Tim_Man_t * p ); +extern void Tim_ManPrint( Tim_Man_t * p ); 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 ); @@ -67,6 +68,8 @@ 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 ); |