Searched defs:RandomVariableRange (Results 1 – 2 of 2) sorted by relevance
41 explicit RandomVariableRange(int value) : mChoices({value}) {} in RandomVariableRange() function42 RandomVariableRange(int lower, int upper) : mChoices(upper - lower + 1) { in RandomVariableRange() function45 explicit RandomVariableRange(const std::vector<int>& vec) : mChoices(vec) {} in RandomVariableRange() function46 explicit RandomVariableRange(const std::set<int>& st) : mChoices(st.begin(), st.end()) {} in RandomVariableRange() function
247 virtual RandomVariableRange getInitRange(const RandomVariableRange&, in getInitRange()407 virtual RandomVariableRange getInitRange(const RandomVariableRange&, in getInitRange()