• Home
  • History
  • Annotate
  • Raw
  • Download

Lines Matching refs:RandomVariableRange

58       range(op->getInitRange(lhs->range, rhs == nullptr ? RandomVariableRange(0) : rhs->range)),  in RandomVariableBase()
64 void RandomVariableRange::setRange(int lower, int upper) { in setRange()
76 int RandomVariableRange::toConst() { in toConst()
81 RandomVariableRange operator&(const RandomVariableRange& lhs, const RandomVariableRange& rhs) { in operator &()
86 return RandomVariableRange(std::move(result)); in operator &()
156 RandomVariableRange IRandomVariableOp::getInitRange(const RandomVariableRange& lhs, in getInitRange()
157 const RandomVariableRange& rhs) const { in getInitRange()
166 return RandomVariableRange(st); in getInitRange()
246 virtual RandomVariableRange getInitRange(const RandomVariableRange&, in getInitRange() argument
247 const RandomVariableRange&) const override { in getInitRange()
248 return RandomVariableRange(0); in getInitRange()
272 virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs, in getInitRange()
273 const RandomVariableRange& rhs) const override { in getInitRange()
274 return RandomVariableRange(lhs.min() + rhs.min(), lhs.max() + rhs.max()); in getInitRange()
308 virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs, in getInitRange()
309 const RandomVariableRange& rhs) const override { in getInitRange()
310 return RandomVariableRange(lhs.min() - rhs.max(), lhs.max() - rhs.min()); in getInitRange()
337 virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs, in getInitRange()
338 const RandomVariableRange& rhs) const override { in getInitRange()
344 return RandomVariableRange(lower, upper); in getInitRange()
382 virtual RandomVariableRange getInitRange(const RandomVariableRange& lhs, in getInitRange()
383 const RandomVariableRange& rhs) const override { in getInitRange()
387 return RandomVariableRange(lhs.min() / rhs.max(), lhs.max() / rhs.min()); in getInitRange()
406 virtual RandomVariableRange getInitRange(const RandomVariableRange&, in getInitRange() argument
407 const RandomVariableRange& rhs) const override { in getInitRange()
408 return RandomVariableRange(0, rhs.max()); in getInitRange()
691 var->range = RandomVariableRange(committed); in updateRange()