Searched refs:ClassifyByPolarity (Results 1 – 1 of 1) sorted by relevance
174 void ClassifyByPolarity( in ClassifyByPolarity() function289 ClassifyByPolarity(v, current_ineq_set_to_solve, &next_ineq_set_to_solve, &rest, &coef_pos, in SolveLinearInequalities()