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/timBox.c | |
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/timBox.c')
-rw-r--r-- | src/misc/tim/timBox.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/misc/tim/timBox.c b/src/misc/tim/timBox.c index a1526673..9e311428 100644 --- a/src/misc/tim/timBox.c +++ b/src/misc/tim/timBox.c @@ -41,7 +41,7 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -void Tim_ManCreateBox( Tim_Man_t * p, int firstIn, int nIns, int firstOut, int nOuts, int iDelayTable ) +void Tim_ManCreateBox( Tim_Man_t * p, int firstIn, int nIns, int firstOut, int nOuts, int iDelayTable, int fBlack ) { Tim_Box_t * pBox; int i; @@ -54,6 +54,7 @@ void Tim_ManCreateBox( Tim_Man_t * p, int firstIn, int nIns, int firstOut, int n pBox->iDelayTable = iDelayTable; pBox->nInputs = nIns; pBox->nOutputs = nOuts; + pBox->fBlack = fBlack; for ( i = 0; i < nIns; i++ ) { assert( firstIn+i < p->nCos ); |