Horizon
|
Public Types | |
enum | Mode { WALKAROUND, PUSH, BEND, STRAIGHT, WALKAROUND, PUSH, BEND, STRAIGHT } |
enum | Mode { WALKAROUND, PUSH, BEND, STRAIGHT, WALKAROUND, PUSH, BEND, STRAIGHT } |
Public Member Functions | |
json | serialize () const override |
void | load_from_json (const json &j) override |
json | serialize () const override |
void | load_from_json (const json &j) override |
Public Attributes | |
int | effort = 1 |
bool | remove_loops = true |
Mode | mode = Mode::WALKAROUND |
bool | drc = true |
Static Public Attributes | |
static const std::map< Mode, std::string > | mode_names |
|
static |