Searched refs:Bac_NtkInfoName (Results 1 – 2 of 2) sorted by relevance
244 static inline int Bac_NtkInfoName( Bac_Ntk_t * p, int i ) { return Abc_Lit2Var2(… in Bac_NtkInfoName() function685 printf( "Name =%3d ", Bac_NtkInfoName(p, i/3) ); in Bac_NtkPrint()686 if ( Bac_NtkInfoName(p, i/3) ) in Bac_NtkPrint()687 printf( "%s", Bac_NtkStr( p, Bac_NtkInfoName(p, i/3) ) ); in Bac_NtkPrint()
248 return Bac_NtkInfoName(p, Abc_Lit2Var2(NameId)); in Bac_ManFindRealNameId()