Method setAttributes

ir/value.cpp:194–197

  : Value(type, std::string(name)), smt_name(std::move(name)) {}

void Input::setAttributes(ParamAttrs &&new_attrs) {
  attrs = std::move(new_attrs);
  setName(attr_str(attrs) + getName());
}

void Input::copySMTName(const Input &other) {
  smt_name = other.smt_name;