* */
| 424 | * |
| 425 | */ |
| 426 | void |
| 427 | DFSRndNumGenerator::get_sequence(std::string &sequence) |
| 428 | { |
| 429 | std::ostringstream ss; |
| 430 | seq_->get_sequence(ss); |
| 431 | sequence = ss.str(); |
| 432 | } |
| 433 | |
| 434 | std::string |
| 435 | DFSRndNumGenerator::get_prefixed_name(const std::string &name) |