Searched defs:found_black (Results 1 – 1 of 1) sorted by relevance
900 omega_substitute_red_1 (eqn eq, eqn sub, int var, int c, bool *found_black, in omega_substitute_red_1()922 omega_substitute_red (omega_pb pb, eqn sub, int var, int c, bool *found_black) in omega_substitute_red()