sig
type pattern_matching_flag = Embeddings | Morphisms
type compilation_result
type global_static_information
type global_dynamic_information
type ('static, 'dynamic) kasa_state =
('static, 'dynamic) Remanent_state.state
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 * Analyzer_headers.global_static_information *
Analyzer_headers.global_dynamic_information
val add_wake_up_relation :
Analyzer_headers.global_static_information ->
Common_static.site_to_rules -> Analyzer_headers.global_static_information
val get_wake_up_relation :
Analyzer_headers.global_static_information -> Common_static.site_to_rules
val get_parameter :
Analyzer_headers.global_static_information ->
Remanent_parameters_sig.parameters
val get_compilation_information :
Analyzer_headers.global_static_information ->
Analyzer_headers.compilation_result
val get_common_views :
Analyzer_headers.global_static_information -> Common_static.common_views
val set_common_views :
Common_static.common_views ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_agent_name :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_agent_name_from_pattern :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_side_effects :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_potential_side_effects :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_potential_side_effects_per_rule :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_bonds_rhs :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_bonds_lhs :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_action_binding :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_views_rhs :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_views_lhs :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_modified_map :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_test_modif_map :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val get_project_modified_map :
Analyzer_headers.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 ->
Analyzer_headers.global_static_information ->
Analyzer_headers.global_static_information
val compute_initial_state :
Exception.method_handler ->
Analyzer_headers.global_static_information ->
Exception.method_handler * Analyzer_headers.initial_state list
val get_kappa_handler :
Analyzer_headers.global_static_information -> Cckappa_sig.kappa_handler
val get_cc_code :
Analyzer_headers.global_static_information -> Cckappa_sig.compil
val get_mvbdu_handler :
Analyzer_headers.global_dynamic_information ->
Mvbdu_wrapper.Mvbdu.handler
val set_mvbdu_handler :
Mvbdu_wrapper.Mvbdu.handler ->
Analyzer_headers.global_dynamic_information ->
Analyzer_headers.global_dynamic_information
val get_log_info :
Analyzer_headers.global_dynamic_information ->
StoryProfiling.StoryStats.log_info
val set_log_info :
StoryProfiling.StoryStats.log_info ->
Analyzer_headers.global_dynamic_information ->
Analyzer_headers.global_dynamic_information
val dummy_dead_rules :
Remanent_parameters_sig.parameters ->
Exception.method_handler ->
Ckappa_sig.c_rule_id -> Exception.method_handler * bool
end