diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-02 08:01:00 -0700 |
| commit | 436d5d2103b2cfec6a6deb5bbba72ce8e820f785 (patch) | |
| tree | 0bb7be2716b4758b3f883b9a9f1b76aae00c7ab0 /src/aig/ntl/ntl.h | |
| parent | de81a1a1fb5d2cfff636a237a0a7008dcf196bcd (diff) | |
| download | abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.tar.gz abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.tar.bz2 abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.zip | |
Version abc80502
Diffstat (limited to 'src/aig/ntl/ntl.h')
| -rw-r--r-- | src/aig/ntl/ntl.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/aig/ntl/ntl.h b/src/aig/ntl/ntl.h index 1028bd97..659f6c60 100644 --- a/src/aig/ntl/ntl.h +++ b/src/aig/ntl/ntl.h @@ -86,6 +86,7 @@ struct Ntl_Mod_t_ Vec_Ptr_t * vPis; // the array of PI objects Vec_Ptr_t * vPos; // the array of PO objects int nObjs[NTL_OBJ_VOID]; // counter of objects of each type + int fKeep; // indicates persistant model // hashing names into nets Ntl_Net_t ** pTable; // the hash table of names into nets int nTableSize; // the allocated table size @@ -219,9 +220,9 @@ static inline void Ntl_ObjSetFanout( Ntl_Obj_t * p, Ntl_Net_t * pNet, int for ( pNet = pNwk->pTable[i]; pNet; pNet = pNet->pNext ) #define Ntl_ObjForEachFanin( pObj, pFanin, i ) \ - for ( i = 0; (i < (pObj)->nFanins) && ((pFanin) = (pObj)->pFanio[i]); i++ ) + for ( i = 0; (i < (pObj)->nFanins) && (((pFanin) = (pObj)->pFanio[i]), 1); i++ ) #define Ntl_ObjForEachFanout( pObj, pFanout, i ) \ - for ( i = 0; (i < (pObj)->nFanouts) && ((pFanout) = (pObj)->pFanio[(pObj)->nFanins+i]); i++ ) + for ( i = 0; (i < (pObj)->nFanouts) && (((pFanout) = (pObj)->pFanio[(pObj)->nFanins+i]), 1); i++ ) //////////////////////////////////////////////////////////////////////// /// FUNCTION DECLARATIONS /// |