Searched refs:dist_known (Results 1 – 1 of 1) sorted by relevance
5397 int upper_bound, bool *dist_known, int *dist) in omega_query_variable_signs() argument5422 *dist_known = true; in omega_query_variable_signs()5426 *dist_known = false; in omega_query_variable_signs()