module Unifytest:unifytest.mlsig
..end
Link with ATSE Unification Module
Author(s): Yann GLOUCHE
Version: 1.0
Since 12/12/2005
val cn : int -> int
n
: is an integerval x : int -> Types_unify.term
n
: is an identifierval a : int -> Types_unify.term
n
: is an identifierval xt : int -> int -> Types_unify.term
n
: is an identifiert
: is the type identifierval at : int -> int -> Types_unify.term
n
: is an identifiert
: is the type identifierval test_unif : (bool ->
Types_unify.term ->
Types_unify.term -> Types_unify.t_subst list -> Types_unify.t_subst list) ->
(int * string) list ->
string ->
Types_unify.term ->
Types_unify.term -> Types_unify.t_subst -> Types_unify.t_subst list
val test : (int * string) list ->
string ->
Types_unify.term ->
Types_unify.term -> Types_unify.t_subst -> Types_unify.t_subst list
val display : Types_unify.term -> string
s
: is an ATSE termval automtat_to_unify_format : (string * string, string * Types_unify.term) Hashtbl.t
val unify_format_to_automat : (string, string * string) Hashtbl.t
val automate_types_to_unify_types : (string, int) Hashtbl.t
val id_var_atom : int Pervasives.ref
val id_type : int Pervasives.ref
val to_unify_format_reciever : string -> string -> bool -> (string * string) * Types_unify.term
name
: is an agentmess
: is a messageuntyped_variable
: is a boolean, if untyped_variable=true then the type of the variables are not take into account, else the type of the variables is take into accountval to_unify_format_sender : string -> string -> bool -> (string * string) * Types_unify.term
name
: is an agentmess
: is a messageuntyped_variable
: is a boolean, if untyped_variable=true then the type of the variables are not take into account, else the type of the variables is take into accountval unification : Types_unify.term ->
Types_unify.term ->
string ->
string ->
Types_unify.t_subst -> (string * string * string * string) list * bool
u
: is an ATSE term (Types_unify.term)n1
: is an agentn2
: is an agentval unify : string ->
string ->
string -> string -> bool -> (string * string * string * string) list
name1
: is an agentmessage1
: is a message send by "name1"name2
: is an agentmessage2
: is a message receive by "name2"val match_message_story : (string * string * string * string * string * string * bool,
(string * string * string * string) list)
Hashtbl.t Pervasives.ref
val latest_message_story : (string * string * string * string * string * string * bool,
(string * string * string * string) list)
Hashtbl.t Pervasives.ref
val clear_message_story : unit -> unit
val previous_message_story : unit -> unit
val add_in_match_message_story : string ->
string ->
string ->
string ->
string -> string -> bool -> (string * string * string * string) list -> unit
name
: is the name of an agentstate
: is a state of the agent "name"m1
: is a message of the agent "name"name2
: is the name of an agentstate2
: is a state of the agent "name2"m2
: is a message of the agent "name2"val get_match_message_story : string ->
string ->
string ->
string ->
string -> string -> bool -> int * (string * string * string * string) list
name
: is the name of an agentstate
: is a state of the agent "name"m1
: is a message of the agent "name"name2
: is the name of an agentstate2
: is a state of the agent "name2"m2
: is a message of the agent "name2"val match_message : string -> string -> string -> string -> string -> string -> bool
name
: of the senderstate
: of the senderm1
: is the message sent by the sendername2
: is the name of the receiverstate2
: is the state of the receiverm2
: is the message received by the receiverval match_state : string -> string -> string -> string -> bool
name
: of the of the first agentm1
: is the state of the first agantname2
: is the name of the second agentm2
: is the state of the second agentval assign_sub : string -> (string * string * string * string) list -> unit
name_to_assign
: is the name of the role which the value of variables are assignedsub
: is a substitution. Each element is a 4-uplet of string where (name1, value, name2, variable) "value" is a value or a variable of the role "name1", and this value is assigned to the variable "variable" of the role "name2"val get_unification : string ->
string ->
string ->
string -> string -> string -> int * (string * string * string * string) list
name
: is the name of an agentstate
: is a state of the agent "name"m1
: is the message send by the agent "name"name2
: is the name of an agentstate2
: is a state of the agent "name2"m2
: is a message receive by the agent "name2"val assign_var : string -> string -> string -> string -> string -> string -> unit
name
: is the name of an agentstate
: is a state of the agent "name"m1
: is the message send by the agent "name"name2
: is the name of an agentstate2
: is a state of the agent "name2"m2
: is a message receive by the agent "name2"val assign_var_of_state : string -> string -> string -> string -> unit
name
: is the name of an agentname2
: is the name of an agentval find_operation_of_state : string -> string -> (string list * string list) * (string list * string list)
name
: if the name of an agentstate
: is a state describe in a right member of a transitionval operations_test_treatment_left : string -> string -> bool
name
: if the name of an agentstate
: is a state describe in a right member of a transitionval operations_test_treatment_right : string -> string -> bool
name
: if the name of an agentstate
: is a state describe in a right member of a transitionval operations_affectation_treatment : string -> string -> unit
name
: if the name of an agentstate
: is a state describe in a right member of a transition