| 36 | } |
| 37 | |
| 38 | void PeriodicExploration::with_parameters( |
| 39 | const std::string& orbit_file, const std::string& modifier_file) { |
| 40 | m_parameters = ParameterManager::create_from_setting_file( |
| 41 | m_wire_network, m_default_thickness, orbit_file, modifier_file); |
| 42 | } |
| 43 | |
| 44 | void PeriodicExploration::with_all_parameters( |
| 45 | TargetType thickness_type) { |