Up
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
]