diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-29 21:01:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-29 21:01:05 -0700 |
| commit | f09a7042502b97a64d3c6659104e715452ee03e7 (patch) | |
| tree | d3b6d4ddf5dbe5c8785461f724cddcf0df2917f9 /src/base | |
| parent | b93ead2ad10bd25163f8599891b884c531b6d3bf (diff) | |
| download | abc-f09a7042502b97a64d3c6659104e715452ee03e7.tar.gz abc-f09a7042502b97a64d3c6659104e715452ee03e7.tar.bz2 abc-f09a7042502b97a64d3c6659104e715452ee03e7.zip | |
Added commands 'maxsize' and 'unbuffer'.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abc.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index ab8bd646..bba7c9c6 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -468,6 +468,12 @@ static inline void Abc_ObjSetMvVar( Abc_Obj_t * pObj, void * pV) { Vec_At #define Abc_AigForEachAnd( pNtk, pNode, i ) \ for ( i = 0; (i < Vec_PtrSize((pNtk)->vObjs)) && (((pNode) = Abc_NtkObj(pNtk, i)), 1); i++ ) \ if ( (pNode) == NULL || !Abc_AigNodeIsAnd(pNode) ) {} else +#define Abc_NtkForEachNodeCi( pNtk, pNode, i ) \ + for ( i = 0; (i < Vec_PtrSize((pNtk)->vObjs)) && (((pNode) = Abc_NtkObj(pNtk, i)), 1); i++ ) \ + if ( (pNode) == NULL || (!Abc_ObjIsNode(pNode) && !Abc_ObjIsCi(pNode)) ) {} else +#define Abc_NtkForEachNodeCo( pNtk, pNode, i ) \ + for ( i = 0; (i < Vec_PtrSize((pNtk)->vObjs)) && (((pNode) = Abc_NtkObj(pNtk, i)), 1); i++ ) \ + if ( (pNode) == NULL || (!Abc_ObjIsNode(pNode) && !Abc_ObjIsCo(pNode)) ) {} else // various boxes #define Abc_NtkForEachBox( pNtk, pObj, i ) \ for ( i = 0; (i < Vec_PtrSize((pNtk)->vBoxes)) && (((pObj) = Abc_NtkBox(pNtk, i)), 1); i++ ) |