Searched refs:Cec_ObjAddToFrontier (Results 1 – 1 of 1) sorted by relevance
281 void Cec_ObjAddToFrontier( Cec_ManSat_t * p, Gia_Obj_t * pObj, Vec_Ptr_t * vFrontier ) in Cec_ObjAddToFrontier() function324 Cec_ObjAddToFrontier( p, pObj, vFrontier ); in Cec_CnfNodeAddToSolver()338 Cec_ObjAddToFrontier( p, Gia_Regular(pFanin), vFrontier ); in Cec_CnfNodeAddToSolver()345 Cec_ObjAddToFrontier( p, Gia_Regular(pFanin), vFrontier ); in Cec_CnfNodeAddToSolver()