139 omega_variable_to_str (omega_pb pb, int i)  in omega_variable_to_str()
157 omega_print_term (FILE *file, omega_pb pb, eqn e, int c)  in omega_print_term()
205 omega_print_eqn (FILE *file, omega_pb pb, eqn e, bool test, int extra)  in omega_print_eqn()
290 omega_print_vars (FILE *file, omega_pb pb)  in omega_print_vars()
316 debug_omega_problem (omega_pb pb)  in debug_omega_problem()
324 omega_print_problem (FILE *file, omega_pb pb)  in omega_print_problem()
373 omega_count_red_equations (omega_pb pb)  in omega_count_red_equations()
405 omega_print_red_equations (FILE *file, omega_pb pb)  in omega_print_red_equations()
447 omega_pretty_print_problem (FILE *file, omega_pb pb)  in omega_pretty_print_problem()
720 omega_name_wild_card (omega_pb pb, int i)  in omega_name_wild_card()
732 omega_add_new_wild_card (omega_pb pb)  in omega_add_new_wild_card()
782 omega_delete_geq (omega_pb pb, int e, int n_vars)  in omega_delete_geq()
801 omega_delete_geq_extra (omega_pb pb, int e, int n_vars)  in omega_delete_geq_extra()
820 omega_delete_variable (omega_pb pb, int i)  in omega_delete_variable()
922 omega_substitute_red (omega_pb pb, eqn sub, int var, int c, bool *found_black)  in omega_substitute_red()
997 omega_substitute (omega_pb pb, eqn sub, int var, int c)  in omega_substitute()
1183 omega_do_mod (omega_pb pb, int factor, int e, int j)  in omega_do_mod()
1237 omega_negate_geq (omega_pb pb, int e)  in omega_negate_geq()
1251 verify_omega_pb (omega_pb pb)  in verify_omega_pb()
1307 adding_equality_constraint (omega_pb pb, int e)  in adding_equality_constraint()
1359 normalize_omega_problem (omega_pb pb)  in normalize_omega_problem()
1746 cleanout_wildcards (omega_pb pb)  in cleanout_wildcards()
1885 omega_unprotect_1 (omega_pb pb, int *idx, bool *unprotect)  in omega_unprotect_1()
1924 resurrect_subs (omega_pb pb)  in resurrect_subs()
2027 omega_eliminate_redundant (omega_pb pb, bool expensive)  in omega_eliminate_redundant()
2282 smooth_weird_equations (omega_pb pb)  in smooth_weird_equations()
2398 coalesce (omega_pb pb)  in coalesce()
2452 omega_eliminate_red (omega_pb pb, bool eliminate_all)  in omega_eliminate_red()
2648 chain_unprotect (omega_pb pb)  in chain_unprotect()
2689 omega_problem_reduced (omega_pb pb)  in omega_problem_reduced()
2737 omega_free_eliminations (omega_pb pb, int fv)  in omega_free_eliminations()
2817 free_red_eliminations (omega_pb pb)  in free_red_eliminations()
2922 omega_convert_eq_to_geqs (omega_pb pb, int eq)  in omega_convert_eq_to_geqs()
2950 omega_do_elimination (omega_pb pb, int e, int i)  in omega_do_elimination()
3063 omega_solve_eq (omega_pb pb, enum omega_result desired_res)  in omega_solve_eq()
3428 parallel_splinter (omega_pb pb, int e, int diff,  in parallel_splinter()
3470 omega_solve_geq (omega_pb pb, enum omega_result desired_res)  in omega_solve_geq()
4736 omega_solve_problem (omega_pb pb, enum omega_result desired_res)  in omega_solve_problem()
4791 omega_problem_has_red_equations (omega_pb pb)  in omega_problem_has_red_equations()
4926 omega_simplify_approximate (omega_pb pb)  in omega_simplify_approximate()
4954 omega_simplify_problem (omega_pb pb)  in omega_simplify_problem()
5029 omega_unprotect_variable (omega_pb pb, int var)  in omega_unprotect_variable()
5127 omega_constrain_variable_sign (omega_pb pb, enum omega_eqn_color color,  in omega_constrain_variable_sign()
5183 omega_constrain_variable_value (omega_pb pb, enum omega_eqn_color color,  in omega_constrain_variable_value()
5213 omega_query_variable (omega_pb pb, int i, int *lower_bound, int *upper_bound)  in omega_query_variable()
5285 query_coupled_variable (omega_pb pb, int i, int *l, int *u,  in query_coupled_variable()
5363 omega_query_variable_bounds (omega_pb pb, int i, int *l, int *u)  in omega_query_variable_bounds()
5395 omega_query_variable_signs (omega_pb pb, int i, int dd_lt,  in omega_query_variable_signs()
5440   omega_pb pb;  in omega_alloc_problem()  local