module Automate:automate.mlsig
..end
val findIknows : string * string -> string
s
: is a pair of string (state, message)val findState : string * string -> string
s
: is a pair of string (state, message)val automate : (string * int * (string * bool Pervasives.ref) list Pervasives.ref *
((string * string) *
((string list * string list) * (string list * string list)) *
(string * string))
list)
list Pervasives.ref
The form of the uplet is : (name_of_the_agent, number_of_the_instanciation, ((current_state, bool ref);...list
ref), ((state,received_message),(([left_conditions;...list],[left_affectations;...list]),([right_conditions;...lists],[right_affectations;...list])),(state,sent_message))list_of_transitions
)
if !bool=true then the received_message is not received else the received_message is received
val automate_story : (string * int * (string * bool) list) list list Pervasives.ref
val add_in_automate_story : unit -> unit
val load_last_state : (string * int * (string * bool) list) list ->
(string * int * (string * bool Pervasives.ref) list Pervasives.ref * 'a) list ->
unit
val previous_state : unit -> unit
val max_length_message : int Pervasives.ref
val get_max_length_message : unit -> int