Home
last modified time | relevance | path

Searched refs:Abc_NtkMfsUpdateNetwork (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsResub_.c45 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 DmfsResub.c45 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()