59       range(op->getInitRange(lhs->range, rhs == nullptr ? RandomVariableRange(0) : rhs->range)),  in RandomVariableBase()
65 void RandomVariableRange::setRange(int lower, int upper) {  in setRange()
77 int RandomVariableRange::toConst() {  in toConst()
82 RandomVariableRange operator&(const RandomVariableRange& lhs, const RandomVariableRange& rhs) {  in operator &()
87     return RandomVariableRange(std::move(result));  in operator &()
157 RandomVariableRange IRandomVariableOp::getInitRange(const RandomVariableRange& lhs,  in getInitRange()
158                                                     const RandomVariableRange& rhs) const {  in getInitRange()
167     return RandomVariableRange(st);  in getInitRange()
247     virtual RandomVariableRange getInitRange(const RandomVariableRange&,  in getInitRange()  argument
248                                              const RandomVariableRange&) const override {  in getInitRange()
249         return RandomVariableRange(0);  in getInitRange()
273     virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs,  in getInitRange()
274                                              const RandomVariableRange& rhs) const override {  in getInitRange()
275         return RandomVariableRange(lhs.min() + rhs.min(), lhs.max() + rhs.max());  in getInitRange()
309     virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs,  in getInitRange()
310                                              const RandomVariableRange& rhs) const override {  in getInitRange()
311         return RandomVariableRange(lhs.min() - rhs.max(), lhs.max() - rhs.min());  in getInitRange()
338     virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs,  in getInitRange()
339                                              const RandomVariableRange& rhs) const override {  in getInitRange()
345             return RandomVariableRange(lower, upper);  in getInitRange()
383     virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs,  in getInitRange()
384                                              const RandomVariableRange& rhs) const override {  in getInitRange()
388             return RandomVariableRange(lhs.min() / rhs.max(), lhs.max() / rhs.min());  in getInitRange()
407     virtual RandomVariableRange getInitRange(const RandomVariableRange&,  in getInitRange()  argument
408                                              const RandomVariableRange& rhs) const override {  in getInitRange()
409         return RandomVariableRange(0, rhs.max());  in getInitRange()
692             var->range = RandomVariableRange(committed);  in updateRange()