Searched refs:adding_equality_constraint (Results 1 – 1 of 1) sorted by relevance
1307 adding_equality_constraint (omega_pb pb, int e) in adding_equality_constraint() function1600 adding_equality_constraint (pb, pb->num_eqs); in normalize_omega_problem()2219 adding_equality_constraint (pb, pb->num_eqs - 1); in omega_eliminate_redundant()3613 adding_equality_constraint (pb, 0); in omega_solve_geq()