Functor Product.Product

module Product: 
functor (New_domain : Analyzer_domain_sig.Domain) ->
functor (Underlying_domain : Analyzer_domain_sig.Domain) -> Analyzer_domain_sig.Domain
Parameters:
New_domain : Analyzer_domain_sig.Domain
Underlying_domain : Analyzer_domain_sig.Domain

type static_information 
type local_dynamic_information 
type dynamic_information = {
   local : local_dynamic_information;
   global : Analyzer_headers.global_dynamic_information;
}
val get_parameter : static_information ->
Remanent_parameters_sig.parameters
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 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 : static_information ->
Exception.method_handler ->
Common_static.site_to_rules_tmp ->
Exception.method_handler * Common_static.site_to_rules_tmp
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 : (Analyzer_headers.initial_state, Communication.event list)
unary
val is_enabled : (Ckappa_sig.c_rule_id, Communication.precondition,
Communication.precondition option)
binary
val maybe_reachable : (Analyzer_headers.pattern_matching_flag, Cckappa_sig.mixture,
Communication.precondition, Communication.precondition option)
ternary
val apply_rule : (Ckappa_sig.c_rule_id, Communication.precondition,
Communication.precondition * Communication.event list)
binary
val apply_one_side_effect : (Ckappa_sig.c_rule_id,
(Ckappa_sig.c_agent_id * Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name *
Ckappa_sig.c_state)
option *
(Ckappa_sig.c_agent_name * Ckappa_sig.c_site_name * Ckappa_sig.c_state),
Communication.precondition,
Communication.precondition * Communication.event list)
ternary
val apply_event_list : (Communication.event list, Communication.event list)
unary
val stabilize : unit zeroary
val export : (('static, 'dynamic) Analyzer_headers.kasa_state,
('static, 'dynamic) Analyzer_headers.kasa_state)
unary
val print : ?dead_rules:(Remanent_parameters_sig.parameters ->
Exception.method_handler ->
Ckappa_sig.c_rule_id -> Exception.method_handler * bool) ->
(Loggers.t, unit) unary
val maybe_reachable : (Analyzer_headers.pattern_matching_flag, Cckappa_sig.mixture,
Communication.precondition, Communication.precondition option)
ternary
val get_dead_rules : static_information ->
dynamic_information ->
Remanent_parameters_sig.parameters ->
Exception.method_handler ->
Ckappa_sig.c_rule_id -> Exception.method_handler * bool
val get_side_effects : static_information ->
dynamic_information ->
Remanent_parameters_sig.parameters ->
Exception.method_handler ->
Ckappa_sig.c_rule_id ->
Exception.method_handler * Ckappa_sig.side_effects option