class AdLint::Cc1::ValueDomainWidener
Private Instance Methods
commit_changes(manip)
click to toggle source
# File lib/adlint/cc1/ctrlexpr.rb, line 517 def commit_changes(manip) manip.narrowed_values.each do |var, val| var.widen_value_domain!(Operator::EQ, val) end end