# File ai/csp/int.rb, line 49 def propagate(variable, level) v = @variables[@variables.index(variable) - 1] return true if v.instantiated? or v.pruned?(level, variable.value) v.prune(level,variable.value) not v.domain_empty?(level) end