Module type Analyzer_domain_sig.Domain

module type Domain = sig .. end

type static_information 

type local_dynamic_information 

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