def revise(csp, Xi, Xj, removals):
revised = False<EOL>for x in csp.curr_domains[Xi][:]:<EOL><INDENT>if every(lambda y: not csp.constraints(Xi, x, Xj, y),<EOL>csp.curr_domains[Xj]):<EOL><INDENT>csp.prune(Xi, x, removals)<EOL>revised = True<EOL><DEDENT><DEDENT>return revised<EOL>
Return true if we remove a value.