Ejemplo n.º 1
0
 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());
 }
Ejemplo n.º 2
0
 bool RVar::operator==(const RVar &other) const {
     return name() == other.name();
 }