diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-04 17:45:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-04 17:45:24 -0700 |
| commit | a1e9f668a88f01dccda8da1bc5ca8e22211b1751 (patch) | |
| tree | 277a1c1e6b11945a906ae5e8c0c4e6fa8feb0bd8 /src/misc/tim/tim.h | |
| parent | 26dc25b7f5e23689636b4d89b98281e821cf7fe8 (diff) | |
| download | abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.tar.gz abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.tar.bz2 abc-a1e9f668a88f01dccda8da1bc5ca8e22211b1751.zip | |
Adding support for black boxes in extended AIG.
Diffstat (limited to 'src/misc/tim/tim.h')
| -rw-r--r-- | src/misc/tim/tim.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h index 04ef6706..266688dd 100644 --- a/src/misc/tim/tim.h +++ b/src/misc/tim/tim.h @@ -110,7 +110,7 @@ typedef struct Tim_Man_t_ Tim_Man_t; //////////////////////////////////////////////////////////////////////// /*=== timBox.c ===========================================================*/ -extern void Tim_ManCreateBox( Tim_Man_t * p, int firstIn, int nIns, int firstOut, int nOuts, int iDelayTable ); +extern void Tim_ManCreateBox( Tim_Man_t * p, int firstIn, int nIns, int firstOut, int nOuts, int iDelayTable, int fBlack ); 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 ); @@ -147,6 +147,7 @@ extern int Tim_ManPiNum( Tim_Man_t * p ); extern int Tim_ManPoNum( Tim_Man_t * p ); extern int Tim_ManBoxNum( Tim_Man_t * p ); extern int Tim_ManBlackBoxNum( Tim_Man_t * p ); +extern void Tim_ManBlackBoxIoNum( Tim_Man_t * p, int * pnBbIns, int * pnBbOuts ); extern int Tim_ManDelayTableNum( Tim_Man_t * p ); extern void Tim_ManSetDelayTables( Tim_Man_t * p, Vec_Ptr_t * vDelayTables ); extern void Tim_ManTravIdDisable( Tim_Man_t * p ); |