Module Static_contact_map_domain.Domain

module Domain: sig .. end

type static_information = {

type local_dynamic_information = unit 

type dynamic_information = {

val get_global_static_information : static_information ->
       Analyzer_headers.global_static_information

val lift : (Analyzer_headers.global_static_information -> 'a) ->
       static_information -> 'a

val get_parameter : static_information ->
       Remanent_parameters_sig.parameters

val get_kappa_handler : static_information ->
       Cckappa_sig.kappa_handler

val get_compil : static_information -> Cckappa_sig.compil

val get_bond_rhs : static_information ->
       Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
       Ckappa_sig.Rule_map_and_set.Map.t

val get_bond_lhs : static_information ->
       Ckappa_sig.PairAgentsSiteState_map_and_set.Set.t
       Ckappa_sig.Rule_map_and_set.Map.t

val get_global_dynamic_information : dynamic_information ->
       Analyzer_headers.global_dynamic_information

val set_global_dynamic_information : Analyzer_headers.global_dynamic_information ->
       dynamic_information ->
       dynamic_information

val add_oriented_relation : Remanent_parameters_sig.parameters ->
       Exception.method_handler ->
       Ckappa_sig.Rule_map_and_set.Set.elt ->
       Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state ->
       Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state ->
       Ckappa_sig.Rule_map_and_set.Set.t
       Ckappa_sig.PairAgentSiteState_map_and_set.Map.t ->
       Exception.method_handler *
       Ckappa_sig.Rule_map_and_set.Set.t
       Ckappa_sig.PairAgentSiteState_map_and_set.Map.t

val add_relation : Remanent_parameters_sig.parameters ->
       Exception.method_handler ->
       Ckappa_sig.Rule_map_and_set.Set.elt ->
       Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state ->
       Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state ->
       Ckappa_sig.Rule_map_and_set.Set.t
       Ckappa_sig.PairAgentSiteState_map_and_set.Map.t ->
       Exception.method_handler *
       Ckappa_sig.Rule_map_and_set.Set.t
       Ckappa_sig.PairAgentSiteState_map_and_set.Map.t

val initialize : Analyzer_headers.global_static_information ->
       Analyzer_headers.global_dynamic_information ->
       Exception.method_handler ->
       Exception.method_handler *
       static_information *
       dynamic_information *
       Communication.event list

val complete_wake_up_relation : 'a -> 'b -> 'c -> 'b * 'c

type 'a zeroary = static_information ->
       dynamic_information ->
       Exception.method_handler ->
       Exception.method_handler *
       dynamic_information * 'a 

type ('a, 'b) unary = static_information ->
       dynamic_information ->
       Exception.method_handler ->
       'a ->
       Exception.method_handler *
       dynamic_information * 'b 

type ('a, 'b, 'c) binary = static_information ->
       dynamic_information ->
       Exception.method_handler ->
       'a ->
       'b ->
       Exception.method_handler *
       dynamic_information * 'c 

type ('a, 'b, 'c, 'd) ternary = static_information ->
       dynamic_information ->
       Exception.method_handler ->
       'a ->
       'b ->
       'c ->
       Exception.method_handler *
       dynamic_information * 'd 

val add_initial_state : 'a -> 'b -> 'c -> 'd -> 'c * 'b * 'e list

val is_enabled : 'a -> 'b -> 'c -> 'd -> 'e -> 'c * 'b * 'e option

val maybe_reachable : 'a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'c * 'b * 'f option

val apply_rule : 'a -> 'b -> 'c -> 'd -> 'e -> 'c * 'b * ('e * 'f list)

val apply_event_list : 'a -> 'b -> 'c -> 'd -> 'c * 'b * 'e list

val stabilize : 'a -> 'b -> 'c -> 'c * 'b * unit

val export : 'a -> 'b -> 'c -> 'd -> 'c * 'b * 'd

val print : ?dead_rules:'a -> 'b -> 'c -> 'd -> 'e -> 'd * 'c * unit

val lkappa_mixture_is_reachable : 'a -> 'b -> 'c -> 'd -> 'c * 'b * Usual_domains.maybe_bool

val cc_mixture_is_reachable : 'a -> 'b -> 'c -> 'd -> 'c * 'b * Usual_domains.maybe_bool

val get_dead_rules : 'a ->
       'b ->
       Remanent_parameters_sig.parameters ->
       Exception.method_handler ->
       Ckappa_sig.c_rule_id -> Exception.method_handler * bool