Searched defs:cc_rep_decision (Results 1 – 3 of 3) sorted by relevance
133 cc_rep_decision= 1,//!< Replace conflict clause with decision sequence. enumerator