Expr::Expr(const RVar &v) : contents(new ExprContents(makeVar((v.name())), Int(32))) { contents->isRVar = true; assert(v.isDefined()); assert(v.domain().isDefined()); setRDom(v.domain()); child(v.min()); child(v.size()); }
bool RVar::operator==(const RVar &other) const { return name() == other.name(); }