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