Home
last modified time | relevance | path

Searched refs:Bac_ManNtkIsOk (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacBlast.c96 assert( Bac_ManNtkIsOk(p, iLNtk) && Bac_ManNtkIsOk(p, iRNtk) ); in Bac_ManAddBarbuf()
H A Dbac.h200 static inline int Bac_ManNtkIsOk( Bac_Man_t * p, int i ) { return i > 0 && i <=… in Bac_ManNtkIsOk() function
201 …_Ntk_t * Bac_ManNtk( Bac_Man_t * p, int i ) { return Bac_ManNtkIsOk(p, i) ? p->pNt… in Bac_ManNtk()
210 …t * p ) { int i = p - p->pDesign->pNtks; assert(Bac_ManNtkIsOk(p->pDesign, i)… in Bac_NtkId()
318 …etNtkId( Bac_Ntk_t * p, int i, int x ) { assert(Bac_ObjIsBox(p, i)&&Bac_ManNtkIsOk(p->pDesign, x)… in Bac_BoxSetNtkId()