# File ai/csp/int.rb, line 89 def propagate(variable, level) value_index = variable.value uninstantiated_variables.each { |v| next if v.pruned?(level, value_index) v.prune(level, value_index) return false if v.domain_empty?(level) } true end