diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-09 17:19:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-09 17:19:22 -0700 |
| commit | 8a30b675b5e93db1c63353b72820c95198d5dc4b (patch) | |
| tree | da8feba095732572bd2b5f4c86321448657196a0 /src/base/cba/cba.h | |
| parent | 6a4e94e74de5158280ca6959b17c2c86db1299a4 (diff) | |
| download | abc-8a30b675b5e93db1c63353b72820c95198d5dc4b.tar.gz abc-8a30b675b5e93db1c63353b72820c95198d5dc4b.tar.bz2 abc-8a30b675b5e93db1c63353b72820c95198d5dc4b.zip | |
Improvements to Cba data-structure.
Diffstat (limited to 'src/base/cba/cba.h')
| -rw-r--r-- | src/base/cba/cba.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/cba/cba.h b/src/base/cba/cba.h index ab99514c..6e52daea 100644 --- a/src/base/cba/cba.h +++ b/src/base/cba/cba.h @@ -367,6 +367,7 @@ static inline int Cba_FonLeft( Cba_Ntk_t * p, int f ) { r static inline int Cba_FonRight( Cba_Ntk_t * p, int f ) { return Cba_NtkRangeRight(p, Cba_FonRange(p, f)); } static inline int Cba_FonRangeSize( Cba_Ntk_t * p, int f ) { return Cba_FonIsConst(f) ? Cba_FonConstRange(p, f):Cba_NtkRangeSize(p, Cba_FonRange(p, f)); } static inline void Cba_FonSetRange( Cba_Ntk_t * p, int f, int x ) { assert(Cba_NtkHasFonRanges(p)); Vec_IntSetEntry(&p->vFonRange, f, x); } +static inline void Cba_FonHashRange( Cba_Ntk_t * p, int f, int l, int r ) { Cba_FonSetRange( p, f, Cba_NtkHashRange(p, l, r) ); } static inline int Cba_FonCopy( Cba_Ntk_t * p, int f ) { return Cba_FonIsReal(f) ? Vec_IntEntry(&p->vFonCopy, f) : f; } static inline void Cba_FonSetCopy( Cba_Ntk_t * p, int f, int x ) { assert(Cba_FonIsReal(f)); assert(Cba_FonCopy(p, f) == 0); Vec_IntWriteEntry(&p->vFonCopy, f, x); } static inline int Cba_FonName( Cba_Ntk_t * p, int f ) { assert(Cba_NtkHasFonNames(p)); assert(Cba_FonIsReal(f)); return Vec_IntGetEntry( &p->vFonName, f ); } @@ -1050,7 +1051,7 @@ extern void Prs_ManWriteBlif( char * pFileName, Vec_Ptr_t * p ); extern void Cba_ManWriteBlif( char * pFileName, Cba_Man_t * p ); /*=== cbaWriteVer.c ==========================================================*/ extern void Cba_ManCreatePrimMap( char ** pMap ); -extern char * Cba_ManGetSliceName( Cba_Ntk_t * p, int iFon, int Left, int Right ); +extern char * Cba_ManGetSliceName( Cba_Ntk_t * p, int iFon, int RangeId ); extern void Prs_ManWriteVerilog( char * pFileName, Vec_Ptr_t * p ); extern void Cba_ManWriteVerilog( char * pFileName, Cba_Man_t * p, int fInlineConcat ); |