Searched refs:omega_substitute_red (Results 1 – 1 of 1) sorted by relevance
922 omega_substitute_red (omega_pb pb, eqn sub, int var, int c, bool *found_black) in omega_substitute_red() function2968 omega_substitute_red (pb, sub, i, c, &fB); in omega_do_elimination()