Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaEmbed.c1791 void Gia_ManSolveProblem( Gia_Man_t * pGia, Emb_Par_t * pPars ) in Gia_ManSolveProblem() function
H A Dgia.h1468 extern void Gia_ManSolveProblem( Gia_Man_t * pGia, Emb_Par_t * pPars );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c37081 Gia_ManSolveProblem( pAbc->pGia, pPars ); in Abc_CommandAbc9Embed()