Searched refs:Saig_CollectSatValues (Results 1 – 1 of 1) sorted by relevance
497 void Saig_CollectSatValues( sat_solver * pSat, Cnf_Dat_t * pCnf, Vec_Ptr_t * vInfo, int * piPat ) in Saig_CollectSatValues() function545 Saig_CollectSatValues( pSat, pCnf, vInfo, piPat ); in Saig_DetectTryPolarity()721 Saig_CollectSatValues( pSat, pCnf, vInfo, &iPat ); in Saig_ManDetectConstrFunc()