Method new_stmt

relmodel.hh:112–114

Reset unique identifier counters. */

  }
  /** Reset unique identifier counters. */
  void new_stmt() {
    stmt_seq = std::make_shared<map<string,unsigned int> >();
  }
};

struct op {