Searched refs:Acb_NtkUpdateLevelD (Results 1 – 3 of 3) sorted by relevance
152 void Acb_NtkUpdateLevelD( Acb_Ntk_t * p, int Pivot ) in Acb_NtkUpdateLevelD() function467 Acb_NtkUpdateLevelD( p, Pivot ); in Acb_NtkUpdateNode()
1024 extern void Acb_NtkUpdateLevelD( Acb_Ntk_t * p, int iObj );
1589 Acb_NtkUpdateLevelD( pNtk, -1 ); // compute forward logic level in Acb_NtkOpt()