Index of types


A
anot_type [Ntsint.P]
anot_type [Nts_functor.NTS_PARAM]
anotations [Ntsint.Nts_int]
anotations [Nts_functor.Make]
Type for anotations
anotations [Interproc_driver.Make.NtsSys]
anotations [Interproc_driver.Make]
anotations [Interproc_driver.Make_NtsCfg.NtsSys]
anotations [Interproc_driver.Make_NtsCfg]
anotations [Expand_eldarica_compressed_bloc.Make.NFParam]
anotations [Dot_driver.Make.NFParam]
anotations [Dot_driver.Make]

C
called_subsystems_diary [Simplification]
cnt_binop [Nts_types]
control [Ntsint.Nts_int]
control [Nts_functor.Make]
Type of a control state
control [Interproc_driver.Make.NtsSys]
control [Interproc_driver.Make]
control [Interproc_driver.Make_NtsCfg.NtsSys]
control [Interproc_driver.Make_NtsCfg]
control [Expand_eldarica_compressed_bloc.Make.NFParam]
control [Dot_driver.Make.NFParam]
control [Dot_driver.Make]
control_type [Trace_analysis]

E
esid [Trace_types]
esidtosidrel [Trace_types]

F
fixed_size_nts_array [Nts_types]

I
inv_relation_container [Ntsint.Nts_int]
inv_relation_container [Nts_functor.Make]
Type used to encode the inverse of the unlabelled successor relation transition
inv_relation_container [Expand_eldarica_compressed_bloc.Make.NFParam]

L
loc [Parsing_error]

M
map_2_fcinfos [Trace_types]

N
ntl_spl_block [Nts_spl_intermediate_language_types]
ntl_spl_il_instr [Nts_spl_intermediate_language_types]
ntl_spl_il_instruction [Nts_spl_intermediate_language_types]
ntl_spl_il_label [Nts_spl_intermediate_language_types]
nts_array [Nts_types]
nts_array_var [Nts_types]
nts_automaton [Ntsint.Nts_int]
nts_automaton [Nts_functor.Make]
counter automata with inputs and output variables and hierachical calls enabled.
nts_automaton [Interproc_driver.Make.NtsSys]
nts_automaton [Interproc_driver.Make_NtsCfg.NtsSys]
nts_automaton [Expand_eldarica_compressed_bloc.Make.NFParam]
nts_automaton [Dot_driver.Make.NFParam]
nts_automaton [Dot_driver.Make]
nts_automaton_cfg [Nts_functor.Make]
Block encoding of a subsystem.
nts_automaton_cfg [Interproc_driver.Make]
nts_base_type_cst [Nts_types]
nts_base_types [Nts_types]
nts_basic_block [Nts_functor.Make]
Type definition for block encoding.
nts_basic_block [Interproc_driver.Make]
nts_basic_block [Interproc_driver.Make_NtsCfg]
nts_function_cfg [Interproc_driver.Make_NtsCfg]
nts_functional_program [Interproc_driver.Make_NtsCfg]
nts_gen_arithm_binop [Nts_types]
nts_gen_arithm_unop [Nts_types]
nts_gen_bool_binop [Nts_types]
nts_gen_bool_cst [Nts_types]
nts_gen_relation [Nts_types]
nts_genrel_arithm_exp [Nts_types]
nts_genrel_var [Nts_types]
nts_primed_type [Nts_types]
nts_quantifier [Nts_types]
nts_spl_il_procedure [Nts_spl_intermediate_language_types]
nts_spl_il_program [Nts_spl_intermediate_language_types]
nts_symbolic_constant [Nts_types]
nts_system [Ntsint.Nts_int]
nts_system [Nts_functor.Make]
Hierarchical numerical transition systems type definition
nts_system [Interproc_driver.Make.NtsSys]
nts_system [Interproc_driver.Make_NtsCfg.NtsSys]
nts_system [Expand_eldarica_compressed_bloc.Make.NFParam]
nts_system [Dot_driver.Make.NFParam]
nts_system [Dot_driver.Make]
nts_trans_label [Nts_types]
nts_type_basic_block [Nts_functor.Make]
Types and functions used to generate a control flow graph from the numerical transition system description
nts_var [Nts_types]
num_subrel_in_cautomaton [Ntsint.Nts_int]
num_subrel_in_cautomaton [Nts_functor.Make]
Subrelation type definition.
num_subrel_in_cautomaton [Expand_eldarica_compressed_bloc.Make.NFParam]

P
point [Nts_spl_intermediate_language_types]

R
ref_nts_array [Nts_types]

S
sid [Trace_types]
states_container [Ntsint.Nts_int]
states_container [Nts_functor.Make]
states_container [Expand_eldarica_compressed_bloc.Make.NFParam]
sys_control [Trace_types]

T
t [Ntsint.P]
t [Nts_functor.NTS_PARAM]
token [Trace_eldarica_parser]
token [Sid_table_info_parser]
token [Ntl_parser]
tr_subsystem_table [Trace_types]
trace [Trace_types]
transitions_container [Ntsint.Nts_int]
transitions_container [Nts_functor.Make]
Type used to encode transitions between control states
transitions_container [Expand_eldarica_compressed_bloc.Make.NFParam]

V
vars_entry [Simplification]
vars_entry_by_name [Simplification]