Searched defs:cc_rep_uip (Results 1 – 3 of 3) sorted by relevance
134 cc_rep_uip = 2,//!< Replace conflict clause with all uip clause. enumerator