• main() : explore_client.cpp , set_goal_client.cpp , navigator.cpp , get_map_client.cpp
• operator<() : MapInflationTool.h
• receiveCommand() : explore_client.cpp , get_map_client.cpp
• receiveGoal() : set_goal_client.cpp