 ;;; --- Generated by genom 3.1. Do not edit ------------------------------
declare op_predicate uavatt_set_mass
declare op_predicate uavatt_set_mass_report
declare op_predicate uavatt_set_mass_async
declare op_predicate uavatt_set_geom
declare op_predicate uavatt_set_geom_report
declare op_predicate uavatt_set_geom_async
declare op_predicate uavatt_set_gtmrp_geom
declare op_predicate uavatt_set_gtmrp_geom_report
declare op_predicate uavatt_set_gtmrp_geom_async
declare op_predicate uavatt_set_saturation_weights
declare op_predicate uavatt_set_saturation_weights_report
declare op_predicate uavatt_set_saturation_weights_async
declare op_predicate uavatt_set_control_mode
declare op_predicate uavatt_set_control_mode_report
declare op_predicate uavatt_set_control_mode_async
declare op_predicate uavatt_set_wlimit
declare op_predicate uavatt_set_wlimit_report
declare op_predicate uavatt_set_wlimit_async
declare op_predicate uavatt_set_servo_gain
declare op_predicate uavatt_set_servo_gain_report
declare op_predicate uavatt_set_servo_gain_async
declare op_predicate uavatt_set_emerg
declare op_predicate uavatt_set_emerg_report
declare op_predicate uavatt_set_emerg_async
declare op_predicate uavatt_get_servo_parameters
declare op_predicate uavatt_get_servo_parameters_report
declare op_predicate uavatt_get_servo_parameters_async
declare op_predicate uavatt_get_geom_parameters
declare op_predicate uavatt_get_geom_parameters_report
declare op_predicate uavatt_get_geom_parameters_async
declare op_predicate uavatt_get_reference
declare op_predicate uavatt_get_reference_report
declare op_predicate uavatt_get_reference_async
declare op_predicate uavatt_servo
declare op_predicate uavatt_servo_report
declare op_predicate uavatt_servo_async
declare op_predicate uavatt_set_state
declare op_predicate uavatt_set_state_report
declare op_predicate uavatt_set_state_async
declare op_predicate uavatt_coast
declare op_predicate uavatt_coast_report
declare op_predicate uavatt_coast_async
declare op_predicate uavatt_log
declare op_predicate uavatt_log_report
declare op_predicate uavatt_log_async
declare op_predicate uavatt_log_stop
declare op_predicate uavatt_log_stop_report
declare op_predicate uavatt_log_stop_async
declare op_predicate uavatt_log_info
declare op_predicate uavatt_log_info_report
declare op_predicate uavatt_log_info_async

declare predicate uavatt_set_mass_output
declare predicate uavatt_set_mass_input
declare predicate uavatt_set_geom_output
declare predicate uavatt_set_geom_input
declare predicate uavatt_set_gtmrp_geom_output
declare predicate uavatt_set_gtmrp_geom_input
declare predicate uavatt_set_saturation_weights_output
declare predicate uavatt_set_saturation_weights_input
declare predicate uavatt_set_control_mode_output
declare predicate uavatt_set_control_mode_input
declare predicate uavatt_set_wlimit_output
declare predicate uavatt_set_wlimit_input
declare predicate uavatt_set_servo_gain_output
declare predicate uavatt_set_servo_gain_input
declare predicate uavatt_set_emerg_output
declare predicate uavatt_set_emerg_input
declare predicate uavatt_get_servo_parameters_output
declare predicate uavatt_get_servo_parameters_input
declare predicate uavatt_get_geom_parameters_output
declare predicate uavatt_get_geom_parameters_input
declare predicate uavatt_get_reference_output
declare predicate uavatt_get_reference_input
declare predicate uavatt_servo_output
declare predicate uavatt_servo_input
declare predicate uavatt_set_state_output
declare predicate uavatt_set_state_input
declare predicate uavatt_coast_output
declare predicate uavatt_coast_input
declare predicate uavatt_log_output
declare predicate uavatt_log_input
declare predicate uavatt_log_stop_output
declare predicate uavatt_log_stop_input
declare predicate uavatt_log_info_output
declare predicate uavatt_log_info_input
declare predicate uavatt_wrench_measure
declare predicate uavatt_rotor_input
declare predicate t_or_time_ts
declare predicate t_or_rb3d_force
declare predicate t_or_t3d_att
declare predicate t_or_t3d_avel
declare predicate t_or_t3d_aacc
declare predicate t_or_uav_input
declare predicate t_or_rb3d_force_cov
declare predicate t_or_rb3d_torque
declare predicate t_or_rb3d_torque_cov
declare predicate t_or_wrench_estimator_state
declare predicate t_or_rotorcraft_input
declare predicate t_or_rotorcraft_rotor_state
declare predicate t_or_rotorcraft_output
declare predicate t_or_t3d_pos
declare predicate t_or_t3d_vel
declare predicate t_or_t3d_acc
declare predicate t_or_t3d_pos_cov
declare predicate t_or_t3d_att_cov
declare predicate t_or_t3d_att_pos_cov
declare predicate t_or_t3d_vel_cov
declare predicate t_or_t3d_avel_cov
declare predicate t_or_t3d_acc_cov
declare predicate t_or_t3d_aacc_cov
declare predicate t_or_pose_estimator_state
declare predicate t_uavatt_e_inval
declare predicate t_uavatt_ids_servo_s_satweight_s
declare predicate t_uavatt_ids_servo_s_gain_s
declare predicate t_uavatt_ids_servo_s_emerg_s
declare predicate t_uavatt_ids_servo_s
declare predicate t_uavatt_ids_body_s
declare predicate t_uavatt_e_input
declare predicate t_uavatt_e_geom
declare predicate t_uavatt_e_sys

declare function mass
declare function mass
declare function G
declare function rotors
declare function cx
declare function cy
declare function cz
declare function armlen
declare function mass
declare function rx
declare function ry
declare function rz
declare function cf
declare function ct
declare function satweight
declare function att_mode
declare function wmin
declare function wmax
declare function gain
declare function emerg
declare function thrust
declare function att
declare function avel
declare function aacc
declare function path
declare function decimation
declare function sec
declare function nsec
declare function x
declare function y
declare function z
declare function qw
declare function qx
declare function qy
declare function qz
declare function wx
declare function wy
declare function wz
declare function awx
declare function awy
declare function awz
declare function ts
declare function intrinsic
declare function thrust
declare function att
declare function avel
declare function aacc
declare function cov
declare function x
declare function y
declare function z
declare function cov
declare function ts
declare function intrinsic
declare function force
declare function force_cov
declare function torque
declare function torque_cov
declare function ts
declare function control
declare function desired
declare function ts
declare function emerg
declare function spinning
declare function starting
declare function disabled
declare function velocity
declare function throttle
declare function consumption
declare function energy_level
declare function rotor
declare function x
declare function y
declare function z
declare function vx
declare function vy
declare function vz
declare function ax
declare function ay
declare function az
declare function cov
declare function cov
declare function cov
declare function cov
declare function cov
declare function cov
declare function cov
declare function ts
declare function intrinsic
declare function pos
declare function att
declare function vel
declare function avel
declare function acc
declare function aacc
declare function pos_cov
declare function att_cov
declare function att_pos_cov
declare function vel_cov
declare function avel_cov
declare function acc_cov
declare function aacc_cov
declare function what
declare function enable
declare function thrust
declare function lateral
declare function tilt
declare function head
declare function Kqxy
declare function Kqz
declare function Kwxy
declare function Kwz
declare function dq
declare function dw
declare function satweight
declare function gain
declare function att_mode
declare function ramp
declare function scale
declare function emerg
declare function G
declare function iG
declare function mass
declare function rotors
declare function wmin
declare function wmax
declare function wrench_min
declare function wrench_max
declare function init
declare function code
declare function what

declare symbol velocity
declare symbol throttle
declare symbol full_attitude
declare symbol tilt_prioritized


declare ff uavatt_wrench_measure 1
declare op_predicate read_uavatt_wrench_measure
declare ff uavatt_rotor_input 1
declare op_predicate read_uavatt_rotor_input

declare op_predicate Make_New_uavatt_Module
declare predicate VarArg
