Searched refs:Abc_NtkMfsUpdateNetwork (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsResub_.c | 45 void Abc_NtkMfsUpdateNetwork( Mfs_Man_t * p, Abc_Obj_t * pObj, Vec_Ptr_t * vFanins, Hop_Obj_t * pFu… in Abc_NtkMfsUpdateNetwork() function 192 Abc_NtkMfsUpdateNetwork( p, pNode, p->vFanins, pFunc ); in Abc_NtkMfsSolveSatResub() 270 Abc_NtkMfsUpdateNetwork( p, pNode, p->vFanins, pFunc ); in Abc_NtkMfsSolveSatResub() 341 Abc_NtkMfsUpdateNetwork( p, pNode, p->vFanins, pFunc ); in Abc_NtkMfsSolveSatResub2() 418 Abc_NtkMfsUpdateNetwork( p, pNode, p->vFanins, pFunc ); in Abc_NtkMfsSolveSatResub2()
|
H A D | mfsResub.c | 45 void Abc_NtkMfsUpdateNetwork( Mfs_Man_t * p, Abc_Obj_t * pObj, Vec_Ptr_t * vMfsFanins, Hop_Obj_t * … in Abc_NtkMfsUpdateNetwork() function 217 Abc_NtkMfsUpdateNetwork( p, pNode, p->vMfsFanins, pFunc ); in Abc_NtkMfsSolveSatResub() 295 Abc_NtkMfsUpdateNetwork( p, pNode, p->vMfsFanins, pFunc ); in Abc_NtkMfsSolveSatResub() 369 Abc_NtkMfsUpdateNetwork( p, pNode, p->vMfsFanins, pFunc ); in Abc_NtkMfsSolveSatResub2() 466 Abc_NtkMfsUpdateNetwork( p, pNode, p->vMfsFanins, pFunc ); in Abc_NtkMfsSolveSatResub2()
|