Revision 92d4adda
ID | 92d4adda96e773ef6c22696bdbf25ddebf4c6c0e |
added get worst case time to wh_robot
scout/libscout/src/behaviors/WH_Robot.h | ||
---|---|---|
18 | 18 |
navigationMap nav_map; |
19 | 19 |
Scheduler scheduler; |
20 | 20 |
|
21 |
Time get_wc_time(State dest);
|
|
21 |
Duration get_worst_case_time(State start_state, State target_state);
|
|
22 | 22 |
int exec_task(); |
23 | 23 |
|
24 | 24 |
public: |
Also available in: Unified diff