ition appears: rx_2(1) : from_wait_input_sig2 8.2.6 List of Simulator settings 8.2.6.1 Define commands Most of the important Simulator settings can be changed using Simulator menus, but others require to type a define command. To avoid using menus to change settings each time the Simulator is invoked, it is handy to put the corresponding define commands into a Simulator startup file. The following list is the result of the command define, sorted alphabetically. A few defines listed below are absent from the Simulator documentation. define alpha_order_trans 'true': if true, the firable transitions are sorted alphabetically. define build_graph 'false': do not use. define call_depth_limit '100': limits to 100 the number of recursive procedure calls. define client_external_encoding 'true': do not use. define client_external_env 'true': do not use. define client_external_processes 'false': do not use. define compose_unit '0': if not 0, a second level of global states compression is performed. define compress_unit '0': if not 0, a second level of global states compression is performed. define coverage_go 'false': do not use. define coverage_list 'false': if true, the Simulator displays in front of each firable transition the number of times it has been simulated. define depth_limit '0': defines the maximum depth during exhaustive simulation. If 0, no limit. define depth_limit_stop 'false': if false, the exhaustive simulation explores another branch of the states graph when depth_limit is reached, otherwise the exhaustive simulation stops. define edges_dump ': if a name is specified between the single quotes, the transitions of the states graph are written into the file name. For training only. Other Simulator Features 285 define expand_limit '20': when calling an undefined SDL operator, if the return type has less than 20 values, then one firable transition will be proposed for each value, otherwise a window will prompt the user for the value. define flush_log_file 'true': do not use. define forced_interactive 'false':