Searched refs:Acb_NtkCleanObjTruths (Results 1 – 2 of 2) sorted by relevance
66 Acb_NtkCleanObjTruths( pNtk ); in Acb_NtkFromAbc2()100 Acb_NtkCleanObjTruths( pNtk ); in Acb_NtkFromAbc()
193 static inline void Acb_NtkCleanObjTruths( Acb_Ntk_t * p ) { Vec_WrdFill(&p->vObj… in Acb_NtkCleanObjTruths() function