Searched defs:omega_add_zero_geq (Results 1 – 3 of 3) sorted by relevance
271 omega_add_zero_geq (omega_pb pb, enum omega_eqn_color color) in omega_add_zero_geq() function
269 omega_add_zero_geq (omega_pb pb, enum omega_eqn_color color) in omega_add_zero_geq() function