Functor Export_to_KaSa.Export

module Export: 
functor (Reachability : Analyzer.Analyzer) -> Type 

type state 

type parameters = Remanent_parameters_sig.parameters 

type errors = Exception.method_handler 

type internal_contact_map 

type internal_scc_decomposition = Remanent_state.internal_scc_decomposition 

type contact_map = Public_data.contact_map 

type internal_influence_map = Remanent_state.internal_influence_map 

type internal_constraints_list 

type bidirectional_influence_map 

val empty_constraints_list : internal_constraints_list

type handler = Cckappa_sig.kappa_handler 

type c_compilation = Cckappa_sig.compil 

type reachability_analysis 

type ode_flow 

type ctmc_flow 

val init : unit -> state

val set_errors : errors ->
       state -> state

val set_parameters : parameters ->
       state -> state

val get_parameters : state -> parameters

val get_handler : state ->
       state * handler

val get_errors : state -> errors

val get_env : state -> state * Model.t option

val get_c_compilation : state ->
       state * c_compilation

val get_contact_map : ?accuracy_level:Public_data.accuracy_level ->
       state ->
       state * contact_map

val dump_contact_map : Public_data.accuracy_level -> state -> unit

val get_scc_decomposition : ?accuracy_level_cm:Public_data.accuracy_level ->
       ?accuracy_level_scc:Public_data.accuracy_level ->
       state ->
       state * internal_scc_decomposition

val output_scc_decomposition : ?accuracy_level_cm:Public_data.accuracy_level ->
       ?accuracy_level_scc:Public_data.accuracy_level ->
       state -> state

val get_internal_contact_map : ?accuracy_level:Public_data.accuracy_level ->
       state ->
       state * internal_contact_map

val get_influence_map : ?accuracy_level:Public_data.accuracy_level ->
       state ->
       state * internal_influence_map

val get_local_influence_map : ?accuracy_level:Public_data.accuracy_level ->
       ?fwd:int ->
       ?bwd:int ->
       total:int ->
       Ckappa_sig.c_rule_id ->
       state ->
       state * internal_influence_map

val get_reachability_analysis : state ->
       state * reachability_analysis

val get_constraints_list : state ->
       state * internal_constraints_list

val get_ctmc_flow : state ->
       state * ctmc_flow

val get_ode_flow : state ->
       state * ode_flow

val get_symmetric_sites : ?accuracy_level:Public_data.accuracy_level ->
       state ->
       state * Remanent_state.symmetric_sites

val dump_c_compil : state ->
       c_compilation -> state

val output_internal_contact_map : ?logger:Loggers.t ->
       ?accuracy_level:Public_data.accuracy_level ->
       state -> state

val output_influence_map : ?logger:Loggers.t ->
       ?accuracy_level:Public_data.accuracy_level ->
       state -> state

val output_local_influence_map : ?logger:Loggers.t ->
       ?accuracy_level:Public_data.accuracy_level ->
       ?fwd:int ->
       ?bwd:int ->
       total:int ->
       Ckappa_sig.c_rule_id ->
       state -> state

val output_constraints_list : ?logger:Loggers.t -> state -> state

val output_symmetries : ?logger:Loggers.t ->
       ?accuracy_level:Public_data.accuracy_level ->
       state -> state

val get_data : state ->
       Cckappa_sig.kappa_handler option * Public_data.dead_rules option *
       Remanent_state.separating_transitions option