Searched refs:omega_convert_eq_to_geqs (Results 1 – 2 of 2) sorted by relevance
132 extern void omega_convert_eq_to_geqs (omega_pb, int eq);
2922 omega_convert_eq_to_geqs (omega_pb pb, int eq) in omega_convert_eq_to_geqs() function2970 omega_convert_eq_to_geqs (pb, e); in omega_do_elimination()3042 omega_convert_eq_to_geqs (pb, e2); in omega_do_elimination()