Searched refs:Acb_NtkResetNode (Results 1 – 1 of 1) sorted by relevance
421 void Acb_NtkResetNode( Acb_Ntk_t * p, int Pivot, word uTruth, Vec_Int_t * vSupp ) in Acb_NtkResetNode() function447 Acb_NtkResetNode( p, iFanin, 0, NULL ); in Acb_NtkResetNode()462 Acb_NtkResetNode( p, Pivot, uTruth, vSupp ); in Acb_NtkUpdateNode()