summaryrefslogtreecommitdiffstats
path: root/src/base/abc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-03-09 18:39:00 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2011-03-09 18:39:00 -0800
commite15362a816af4654075e43c76a7767255d76dbb4 (patch)
treeff1295e8b3cdeb1f53e529ed0f909492cc222d3b /src/base/abc
parent35f90a777dd92e7647689b93db09ca068cca87a2 (diff)
downloadabc-e15362a816af4654075e43c76a7767255d76dbb4.tar.gz
abc-e15362a816af4654075e43c76a7767255d76dbb4.tar.bz2
abc-e15362a816af4654075e43c76a7767255d76dbb4.zip
Added generation of MFFC for the network.
Diffstat (limited to 'src/base/abc')
-rw-r--r--src/base/abc/abc.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h
index 68a50525..034df03f 100644
--- a/src/base/abc/abc.h
+++ b/src/base/abc/abc.h
@@ -452,6 +452,9 @@ static inline void Abc_ObjSetMvVar( Abc_Obj_t * pObj, void * pV) { Vec_At
#define Abc_NtkForEachObj( pNtk, pObj, i ) \
for ( i = 0; (i < Vec_PtrSize((pNtk)->vObjs)) && (((pObj) = Abc_NtkObj(pNtk, i)), 1); i++ ) \
if ( (pObj) == NULL ) {} else
+#define Abc_NtkForEachObjVec( pNtk, vIds, pObj, i ) \
+ for ( i = 0; i < Vec_IntSize(vIds) && (((pObj) = Abc_NtkObj(pNtk, Vec_IntEntry(vIds,i))), 1); i++ ) \
+ if ( (pObj) == NULL ) {} else
#define Abc_NtkForEachNet( pNtk, pNet, i ) \
for ( i = 0; (i < Vec_PtrSize((pNtk)->vObjs)) && (((pNet) = Abc_NtkObj(pNtk, i)), 1); i++ ) \
if ( (pNet) == NULL || !Abc_ObjIsNet(pNet) ) {} else