Searched refs:modifyAigToApplySafetyInvar (Results 1 – 1 of 1) sorted by relevance
326 void modifyAigToApplySafetyInvar(Aig_Man_t *pAig, int csTarget, int safetyInvarPO) in modifyAigToApplySafetyInvar() function357 modifyAigToApplySafetyInvar(pAig, targetCSPropertyIndex, safetyInvariantPOIndex); in flipConePdr()