Searched refs:Acb_NtkSaveSupport (Results 1 – 1 of 1) sorted by relevance
450 void Acb_NtkSaveSupport( Acb_Ntk_t * p, int iObj ) in Acb_NtkSaveSupport() function460 Acb_NtkSaveSupport( p, Pivot ); in Acb_NtkUpdateNode()