Searched refs:Emb_ManStart (Results 1 – 1 of 1) sorted by relevance
493 Emb_Man_t * Emb_ManStart( Gia_Man_t * pGia ) in Emb_ManStart() function908 p = Emb_ManStart( pGia ); in Gia_ManTestDistance()1803 p = Emb_ManStart( pGia ); in Gia_ManSolveProblem()