| 334 | } |
| 335 | |
| 336 | void |
| 337 | HierarchyAveragedDataManager::putToDatabase(Pointer<Database> db) |
| 338 | { |
| 339 | db->putInteger("num_snapshots", d_snapshot_time_pts.size()); |
| 340 | int i = 0; |
| 341 | for (const auto& time : d_snapshot_time_pts) |
| 342 | { |
| 343 | db->putDouble("time_" + std::to_string(i), time); |
| 344 | db->putBool("at_steady_state_" + std::to_string(i), d_idx_steady_state_map.at(time)); |
| 345 | db->putInteger("num_updates_" + std::to_string(i), d_idx_num_updates_map.at(time)); |
| 346 | } |
| 347 | |
| 348 | d_snapshot_cache.putToDatabase(db); |
| 349 | if (d_output_data) db->putInteger("visit_ts", d_visit_ts); |
| 350 | db->putDouble("period_start", d_period_start); |
| 351 | db->putDouble("period_end", d_period_end); |
| 352 | } |
| 353 | |
| 354 | void |
| 355 | HierarchyAveragedDataManager::getFromRestart() |