Method stmt_uid

relmodel.hh:105–110

Generate unique identifier with prefix. */

  }
  /** Generate unique identifier with prefix. */
  string stmt_uid(const char* prefix) {
    string result(prefix);
    result += "_";
    result += std::to_string((*stmt_seq)[result]++);
    return result;
  }
  /** Reset unique identifier counters. */
  void new_stmt() {
    stmt_seq = std::make_shared<map<string,unsigned int> >();