Searched refs:distinctModuli (Results 1 – 1 of 1) sorted by relevance
61 bool distinctModuli=true; in aux_evalSolver() local62 for( size_t i=1; i<rootModuli.size() && distinctModuli; ++i ) in aux_evalSolver()65 distinctModuli = false; } in aux_evalSolver()67 VERIFY( evalToZero || !distinctModuli ); in aux_evalSolver()69 return distinctModuli; in aux_evalSolver()