/****************************/
/* RoIS_Navigation.idl  */
/****************************/
module Navigation
{
interface Command : RoIS_Common::Command{
	ReturnCode_t set_parameter(
		in sequence target_position,
		in Integer time_limit,
		in String routing_policy
	);
};
interface Query : RoIS_Common::Query{
	ReturnCode_t get_parameter(
		out sequence<RoLo::Architecture::Data> target_position,
		out Integer time_limit,
		out String routing_policy
	);
};
interface Event : RoIS_Common::Event{
};
};