38 class RandomVariableRange {
40     RandomVariableRange() = default;
41     explicit RandomVariableRange(int value) : mChoices({value}) {}  in RandomVariableRange()  function
42     RandomVariableRange(int lower, int upper) : mChoices(upper - lower + 1) {  in RandomVariableRange()  function
45     explicit RandomVariableRange(const std::vector<int>& vec) : mChoices(vec) {}  in RandomVariableRange()  function
46     explicit RandomVariableRange(const std::set<int>& st) : mChoices(st.begin(), st.end()) {}  in RandomVariableRange()  function
47     RandomVariableRange(const RandomVariableRange&) = default;
48     RandomVariableRange& operator=(const RandomVariableRange&) = default;
65     friend RandomVariableRange operator&(const RandomVariableRange& lhs,
66                                          const RandomVariableRange& rhs);
81     virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs,
82                                              const RandomVariableRange& rhs) const;
99     RandomVariableRange range;