Module Analyzer_headers

module Analyzer_headers: sig .. end
type declarations and values shared among the abstract domains

type pattern_matching_flag = 
| Embeddings
| Morphisms
type compilation_result 

type of the static information to be passed to each domain, let us start by this signature at the moment. In a first step, we are going to use only one module, and provide it with all the static information that you have computed and that you are using so far. Then, we will introduce a collection of independent modules, and dispatch this information between what is common, and what is specific to each domain.
type global_static_information 
type global_dynamic_information 
type ('static, 'dynamic) kasa_state = ('static, 'dynamic) Remanent_state.state 

This is the type of the encoding of a chemical mixture as a result of compilation
type initial_state = Cckappa_sig.enriched_init 
val initialize_global_information : Remanent_parameters_sig.parameters ->
StoryProfiling.StoryStats.log_info ->
Exception.method_handler ->
Mvbdu_wrapper.Mvbdu.handler ->
Cckappa_sig.compil ->
Cckappa_sig.kappa_handler ->
Exception.method_handler * global_static_information *
global_dynamic_information
val add_wake_up_relation : global_static_information ->
Common_static.site_to_rules -> global_static_information
val get_wake_up_relation : global_static_information -> Common_static.site_to_rules
val get_parameter : global_static_information ->
Remanent_parameters_sig.parameters
val get_compilation_information : global_static_information ->
compilation_result
val get_common_views : global_static_information -> Common_static.common_views
val set_common_views : Common_static.common_views ->
global_static_information ->
global_static_information
val get_agent_name : global_static_information ->
Ckappa_sig.c_agent_name Ckappa_sig.RuleAgent_map_and_set.Map.t
val set_agent_name : Ckappa_sig.c_agent_name Ckappa_sig.RuleAgent_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_agent_name_from_pattern : global_static_information ->
Ckappa_sig.c_agent_name Ckappa_sig.Agent_id_map_and_set.Map.t
val set_agent_name_from_pattern : Ckappa_sig.c_agent_name Ckappa_sig.Agent_id_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_side_effects : global_static_information ->
Common_static.half_break_action * Common_static.remove_action
val set_side_effects : Common_static.half_break_action * Common_static.remove_action ->
global_static_information ->
global_static_information
val get_potential_side_effects : global_static_information ->
Common_static.potential_partner_free * Common_static.potential_partner_bind
val set_potential_side_effects : Common_static.potential_partner_free * Common_static.potential_partner_bind ->
global_static_information ->
global_static_information
val get_potential_side_effects_per_rule : global_static_information ->
(Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state) list
Ckappa_sig.Rule_map_and_set.Map.t
val set_potential_side_effects_per_rule : (Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state) list
Ckappa_sig.Rule_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_bonds_rhs : global_static_information ->
Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
Ckappa_sig.Rule_map_and_set.Map.t
val set_bonds_rhs : Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
Ckappa_sig.Rule_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_bonds_lhs : global_static_information ->
Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
Ckappa_sig.Rule_map_and_set.Map.t
val set_bonds_lhs : Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
Ckappa_sig.Rule_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_action_binding : global_static_information ->
Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
Ckappa_sig.Rule_map_and_set.Map.t
val set_action_binding : Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
Ckappa_sig.Rule_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_views_rhs : global_static_information ->
Ckappa_sig.pair_of_states Ckappa_sig.Site_map_and_set.Map.t
Ckappa_sig.Agent_id_map_and_set.Map.t Ckappa_sig.Rule_map_and_set.Map.t
val set_views_rhs : Ckappa_sig.pair_of_states Ckappa_sig.Site_map_and_set.Map.t
Ckappa_sig.Agent_id_map_and_set.Map.t Ckappa_sig.Rule_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_views_lhs : global_static_information ->
Ckappa_sig.pair_of_states Ckappa_sig.Site_map_and_set.Map.t
Ckappa_sig.Agent_id_map_and_set.Map.t Ckappa_sig.Rule_map_and_set.Map.t
val set_views_lhs : Ckappa_sig.pair_of_states Ckappa_sig.Site_map_and_set.Map.t
Ckappa_sig.Agent_id_map_and_set.Map.t Ckappa_sig.Rule_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_modified_map : global_static_information ->
Ckappa_sig.AgentsSiteState_map_and_set.Set.t
Ckappa_sig.Rule_map_and_set.Map.t
val set_modified_map : Ckappa_sig.AgentsSiteState_map_and_set.Set.t
Ckappa_sig.Rule_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_test_modif_map : global_static_information ->
Ckappa_sig.Rule_map_and_set.Set.t Ckappa_sig.AgentSite_map_and_set.Map.t
val set_test_modif_map : Ckappa_sig.Rule_map_and_set.Set.t Ckappa_sig.AgentSite_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_project_modified_map : global_static_information ->
Ckappa_sig.AgentSite_map_and_set.Set.t Ckappa_sig.Rule_map_and_set.Map.t
val set_project_modified_map : Ckappa_sig.AgentSite_map_and_set.Set.t Ckappa_sig.Rule_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_covering_classes : global_static_information ->
Covering_classes_type.remanent
Ckappa_sig.Agent_type_quick_nearly_Inf_Int_storage_Imperatif.t
val set_covering_classes : Covering_classes_type.remanent
Ckappa_sig.Agent_type_quick_nearly_Inf_Int_storage_Imperatif.t ->
global_static_information ->
global_static_information
val get_list_of_site_type_in_covering_classes : global_static_information ->
Ckappa_sig.c_site_name list Covering_classes_type.AgentCV_map_and_set.Map.t
val set_list_of_site_type_in_covering_classes : Ckappa_sig.c_site_name list Covering_classes_type.AgentCV_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_covering_classes_id : global_static_information ->
Covering_classes_type.cv_id list Ckappa_sig.AgentSite_map_and_set.Map.t
val set_covering_classes_id : Covering_classes_type.cv_id list Ckappa_sig.AgentSite_map_and_set.Map.t ->
global_static_information ->
global_static_information
val get_remanent_triple : global_static_information ->
(Covering_classes_type.Dictionary_of_List_sites.key *
Covering_classes_type.Dictionary_of_List_sites.value *
Ckappa_sig.Site_map_and_set.Set.t)
list Ckappa_sig.Agent_type_quick_nearly_Inf_Int_storage_Imperatif.t
val set_remanent_triple : (Covering_classes_type.Dictionary_of_List_sites.key *
Covering_classes_type.Dictionary_of_List_sites.value *
Ckappa_sig.Site_map_and_set.Set.t)
list Ckappa_sig.Agent_type_quick_nearly_Inf_Int_storage_Imperatif.t ->
global_static_information ->
global_static_information
val compute_initial_state : Exception.method_handler ->
global_static_information ->
Exception.method_handler * initial_state list
val get_kappa_handler : global_static_information -> Cckappa_sig.kappa_handler
val get_cc_code : global_static_information -> Cckappa_sig.compil
val get_mvbdu_handler : global_dynamic_information -> Mvbdu_wrapper.Mvbdu.handler
val set_mvbdu_handler : Mvbdu_wrapper.Mvbdu.handler ->
global_dynamic_information ->
global_dynamic_information
val get_log_info : global_dynamic_information ->
StoryProfiling.StoryStats.log_info
val set_log_info : StoryProfiling.StoryStats.log_info ->
global_dynamic_information ->
global_dynamic_information
val dummy_dead_rules : Remanent_parameters_sig.parameters ->
Exception.method_handler ->
Ckappa_sig.c_rule_id -> Exception.method_handler * bool