Module type Export_to_json.Type

module type Type = sig .. end

type state 

val init : ?compil:Ast.parsing_compil -> unit -> state

val get_contact_map : ?accuracy_level:Public_data.accuracy_level ->
       state -> state * Yojson.Basic.json

val get_scc_decomposition : ?accuracy_level_cm:Public_data.accuracy_level ->
       ?accuracy_level_scc:Public_data.accuracy_level ->
       state -> state * Yojson.Basic.json

val get_influence_map : ?accuracy_level:Public_data.accuracy_level ->
       state -> state * Yojson.Basic.json

val get_local_influence_map : ?accuracy_level:Public_data.accuracy_level ->
       ?bwd:int ->
       ?fwd:int ->
       total:int ->
       origin:(int, int) Public_data.influence_node option ->
       state -> state * Yojson.Basic.json

val origin_of_influence_map : state -> state * Yojson.Basic.json

val next_node_in_influence_map : state ->
       (int, int) Public_data.influence_node option ->
       state * Yojson.Basic.json

val previous_node_in_influence_map : state ->
       (int, int) Public_data.influence_node option ->
       state * Yojson.Basic.json

val get_dead_rules : state -> state * Yojson.Basic.json

val get_separating_transitions : state -> state * Yojson.Basic.json

val get_constraints_list : state -> state * Yojson.Basic.json

val get_errors : state -> Exception_without_parameter.method_handler

val get_errors_json : state -> Yojson.Basic.json

val to_json : state -> Yojson.Basic.json

val of_json : Yojson.Basic.json ->
       Exception_without_parameter.method_handler *
       Public_data.contact_map Public_data.AccuracyMap.t *
       Public_data.influence_map Public_data.AccuracyMap.t *
       Public_data.dead_rules option * Remanent_state.constraints_list option *
       Public_data.separating_transitions option