Searched refs:Acb_NtkCreateNode (Results 1 – 3 of 3) sorted by relevance
412 int Acb_NtkCreateNode( Acb_Ntk_t * p, word uTruth, Vec_Int_t * vSupp ) in Acb_NtkCreateNode() function
1028 extern int Acb_NtkCreateNode( Acb_Ntk_t * p, word uTruth, Vec_Int_t * vSupp );
1519 NodeNew = Acb_NtkCreateNode( p->pNtk, uTruth, p->vSupp ); in Acb_NtkOptNode()