package rfsm

  1. Overview
  2. Docs
package rfsm
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rfsm.OptionsSource

Compiler options

Sourcetype target =
  1. | Dot
  2. | Sim
  3. | CTask
  4. | SystemC
  5. | Vhdl
Sourceval main_prefix : string ref
Sourceval target : target option ref
Sourceval use_old_syntax : bool ref
Sourceval target_dir : string ref
Sourceval main_name : string ref
Sourceval print_version : bool ref
Sourceval do_run : bool ref
Sourceval dump_tenv : bool ref
Sourceval dump_typed : bool ref
Sourceval dump_static : bool ref
Sourceval dot_abbrev_types : bool ref
Sourceval normalize : bool ref
Sourceval dump_backtrace : bool ref
Sourceval server_mode : bool ref
Sourceval verbose : bool ref
Sourceval socket_path : string ref
Sourceval set_main_prefix : string -> unit
Sourceval set_old_syntax : unit -> unit
Sourceval set_sim : unit -> unit
Sourceval set_dot : unit -> unit
Sourceval set_ctask : unit -> unit
Sourceval set_systemc : unit -> unit
Sourceval set_vhdl : unit -> unit
Sourceval set_print_version : unit -> unit
Sourceval set_dump_typed : unit -> unit
Sourceval set_dump_tenv : unit -> unit
Sourceval set_dump_static : unit -> unit
Sourceval set_target_dir : string -> unit
Sourceval set_main_name : string -> unit
Sourceval set_normalize : unit -> unit
Sourceval set_server_mode : unit -> unit
Sourceval set_verbose : unit -> unit
Sourceval set_socket_path : string -> unit
Sourceval set_synchronous_actions : unit -> unit
Sourceval set_sequential_actions : unit -> unit
Sourceval set_sim_trace : int -> unit
Sourceval set_dot_captions : unit -> unit
Sourceval set_dot_short_trans : unit -> unit
Sourceval set_show_models : unit -> unit
Sourceval set_dot_abbrev_types : unit -> unit
Sourceval set_dot_qual_ids : unit -> unit
Sourceval set_dot_boxed : unit -> unit
Sourceval set_vcd_default_int_size : int -> unit
Sourceval set_lib_dir : string -> unit
Sourceval set_stop_time : int -> unit
Sourceval set_systemc_time_unit : string -> unit
Sourceval set_sc_trace : unit -> unit
Sourceval set_sc_double_float : unit -> unit
Sourceval set_vhdl_time_unit : string -> unit
Sourceval set_vhdl_ev_duration : int -> unit
Sourceval set_vhdl_rst_duration : int -> unit
Sourceval set_vhdl_use_numeric_std : unit -> unit
Sourceval set_vhdl_bool_as_bool : unit -> unit
Sourceval set_vhdl_trace : unit -> unit
Sourceval set_vhdl_dump_ghw : unit -> unit
Sourceval spec : (string * Arg.spec * string) list