Searched refs:RandomVariableRange (Results 1 – 3 of 3) sorted by relevance
38 class RandomVariableRange {40 RandomVariableRange() = default;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() function47 RandomVariableRange(const RandomVariableRange&) = default;48 RandomVariableRange& operator=(const RandomVariableRange&) = default;65 friend RandomVariableRange operator&(const RandomVariableRange& lhs,66 const RandomVariableRange& rhs);[all …]
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() argument248 const RandomVariableRange&) const override { in getInitRange()[all …]
198 inline std::string toString<RandomVariableRange>(const RandomVariableRange& range) {