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