module Simplification: sig
.. end
This module defines a set of function that allows to clean numerical
transitions systems from non called subsystems and subsystems from
unused variables.
type
vars_entry
type
vars_entry_by_name
type
called_subsystems_diary
val create_empty_var_diary : unit -> vars_entry
val create_fun_name_in_call_table : unit -> called_subsystems_diary
val get_diary_table : vars_entry -> (string, unit) Hashtbl.t
val add_vars_of_cnt_trans_label_to_diary : vars_entry -> Nts_types.nts_trans_label -> unit
val register_called_subsystems : called_subsystems_diary -> Nts_types.nts_trans_label -> unit
val add_vars_of_trans_label_list_to_diary : vars_entry -> Nts_types.nts_trans_label list -> unit
val add_fun_name_in_call_table : called_subsystems_diary -> string -> unit
val is_name_in_call_table : called_subsystems_diary -> string -> bool
Answer yes when the variable is listed in the entry, false
in the opposite case.
val contains_var : vars_entry -> Nts_types.nts_var -> bool
val contains_nts_genrel_var : vars_entry -> Nts_types.nts_genrel_var -> bool
val pprint_diary : vars_entry -> unit