Home
last modified time | relevance | path

Searched refs:Acb_NtkCreateNode (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c412 int Acb_NtkCreateNode( Acb_Ntk_t * p, word uTruth, Vec_Int_t * vSupp ) in Acb_NtkCreateNode() function
H A Dacb.h1028 extern int Acb_NtkCreateNode( Acb_Ntk_t * p, word uTruth, Vec_Int_t * vSupp );
H A DacbMfs.c1519 NodeNew = Acb_NtkCreateNode( p->pNtk, uTruth, p->vSupp ); in Acb_NtkOptNode()