diff options
Diffstat (limited to 'src/aig/tim/tim.h')
| -rw-r--r-- | src/aig/tim/tim.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/tim/tim.h b/src/aig/tim/tim.h index 3b9707e0..7c6e33f1 100644 --- a/src/aig/tim/tim.h +++ b/src/aig/tim/tim.h @@ -81,6 +81,7 @@ extern void Tim_ManInitCoRequired( Tim_Man_t * p, int iCo, float Dela 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_ManSetCiArrivalAll( Tim_Man_t * p, 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 ); |