diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-10 08:01:00 -0700 |
| commit | 0f03f34924b64814791347c5dcf0633dd244d341 (patch) | |
| tree | 0b72993e4638a476ab4dc292311e6f3af35ffb2c /src/aig/ntl/ntl.h | |
| parent | e94ccfd3fb07d22ed426e0386ccf536e470744b7 (diff) | |
| download | abc-0f03f34924b64814791347c5dcf0633dd244d341.tar.gz abc-0f03f34924b64814791347c5dcf0633dd244d341.tar.bz2 abc-0f03f34924b64814791347c5dcf0633dd244d341.zip | |
Version abc80510
Diffstat (limited to 'src/aig/ntl/ntl.h')
| -rw-r--r-- | src/aig/ntl/ntl.h | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/aig/ntl/ntl.h b/src/aig/ntl/ntl.h index 55581026..c4950650 100644 --- a/src/aig/ntl/ntl.h +++ b/src/aig/ntl/ntl.h @@ -98,6 +98,7 @@ struct Ntl_Mod_t_ float * pDelayTable; // other data members void * pCopy; + int nUsed, nRems; }; struct Ntl_Obj_t_ @@ -186,12 +187,12 @@ static inline void Ntl_ObjSetFanout( Ntl_Obj_t * p, Ntl_Net_t * pNet, int /// ITERATORS /// //////////////////////////////////////////////////////////////////////// -#define Ntl_ManForEachModel( p, pNtl, i ) \ - Vec_PtrForEachEntry( p->vModels, pNtl, i ) -#define Ntl_ManForEachCiNet( p, pNtl, i ) \ - Vec_PtrForEachEntry( p->vCis, pNtl, i ) -#define Ntl_ManForEachCoNet( p, pNtl, i ) \ - Vec_PtrForEachEntry( p->vCos, pNtl, i ) +#define Ntl_ManForEachModel( p, pMod, i ) \ + Vec_PtrForEachEntry( p->vModels, pMod, i ) +#define Ntl_ManForEachCiNet( p, pNet, i ) \ + Vec_PtrForEachEntry( p->vCis, pNet, i ) +#define Ntl_ManForEachCoNet( p, pNet, i ) \ + Vec_PtrForEachEntry( p->vCos, pNet, i ) #define Ntl_ManForEachNode( p, pObj, i ) \ for ( i = 0; (i < Vec_PtrSize(p->vNodes)) && (((pObj) = Vec_PtrEntry(p->vNodes, i)), 1); i++ ) \ if ( (pObj) == NULL || !Ntl_ObjIsNode(pObj) ) {} else |