Searched refs:Acb_NtkUpdateNode (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbMfs.c | 1343 Acb_NtkUpdateNode( p->pNtk, Pivot, c ? ~(word)0 : 0, NULL ); in Acb_NtkOptNode() 1401 Acb_NtkUpdateNode( p->pNtk, Pivot, uTruth, p->vSupp ); in Acb_NtkOptNode() 1433 Acb_NtkUpdateNode( p->pNtk, Pivot, uTruth, p->vSupp ); in Acb_NtkOptNode() 1542 Acb_NtkUpdateNode( p->pNtk, Pivot, uTruth, p->vSupp ); in Acb_NtkOptNode()
|
H A D | acbUtil.c | 457 void Acb_NtkUpdateNode( Acb_Ntk_t * p, int Pivot, word uTruth, Vec_Int_t * vSupp ) in Acb_NtkUpdateNode() function
|
H A D | acb.h | 1029 extern void Acb_NtkUpdateNode( Acb_Ntk_t * p, int Pivot, word uTruth, Vec_Int_t * vSupp );
|