| 13 | std::string Execution::name() { return name_; } |
| 14 | |
| 15 | Execution::Execution(const std::string &name, ExecID id, bool restarts) |
| 16 | : id_(id), name_{name}, tree_{new tree::NodeTree()}, |
| 17 | solver_data_(utils::make_unique<SolverData>()), |
| 18 | user_data_(utils::make_unique<UserData>()), m_is_restarts(restarts) |
| 19 | { |
| 20 | tree_->setSolverData(solver_data_); |
| 21 | |
| 22 | /// need to create a dummy root node |
| 23 | if (restarts) |
| 24 | { |
| 25 | print("restart execution!"); |
| 26 | tree_->createRoot(0, "root"); |
| 27 | } |
| 28 | } |
| 29 | |
| 30 | void Execution::setNameMap(std::shared_ptr<const NameMap> nm) |
| 31 | { |
nothing calls this directly
no test coverage detected