Skip to content
Snippets Groups Projects
Select Git revision
  • v4.0.1_stable
  • master default protected
  • thesis
  • fmics-2021
  • vanadium
  • afadl-2021
  • functional-verification
  • v5.17_devel
  • v5.16.0_stable
  • v5.15_devel
  • v5.14.0_stable
  • v5.13.0_testing
  • v5.13_devel
  • v5.12_stable
  • v5.11_devel
  • v5.10_stable
  • v5.9.0_testing
  • v5.8.2_stable
  • v5.8.1_stable
  • v5.9_devel
  • v5.8.0_stable
  • v5.7.1_testing
  • v5.7.0_testing
  • v5.7_devel
  • v5.6.0_stable
  • v5.5.2_testing
  • v5.5.1_testing
27 results

sim.mli

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    sim.mli 812 B
    (** Options for HITL and SITL simulators *)
    val common_options : (string * Arg.spec * string) list
    
    val ac_name  : string ref
    
    (** A complete aircraft with it mission *)
    module type AIRCRAFT =
      sig
        val init : int -> GPack.box -> unit
        val boot : Stdlib.value -> unit
        val commands : Stdlib.pprz_t array -> unit
        val infrared_and_airspeed : float -> float -> float -> float -> unit
        val attitude_and_rates : float -> float -> float -> float -> float -> float -> unit
        val gps : Gps.state -> unit
      end
    
    (** A simulated aircraft, without its conf *)
    module type AIRCRAFT_ITL =
        functor (A : Data.MISSION) -> functor (FM: FlightModel.SIG) -> AIRCRAFT
    
    (** Functor to build the simulator *)
    module Make :
      functor (AircraftItl : AIRCRAFT_ITL) ->
        sig
          val main : unit -> unit
        end