Searched refs:distinctModuli (Results 1 – 1 of 1) sorted by relevance
64 bool distinctModuli=true; in aux_evalSolver() local65 for( size_t i=1; i<rootModuli.size() && distinctModuli; ++i ) in aux_evalSolver()68 distinctModuli = false; } in aux_evalSolver()70 VERIFY( evalToZero || !distinctModuli ); in aux_evalSolver()72 return distinctModuli; in aux_evalSolver()