Searched defs:could_be_zero (Results 1 – 1 of 1) sorted by relevance
5286 bool *could_be_zero, int lower_bound, int upper_bound) in query_coupled_variable()5376 bool could_be_zero; in omega_query_variable_bounds() local5401 bool could_be_zero; in omega_query_variable_signs() local