module Interface:interface.mlsig
..end
val width : float Pervasives.ref
val height : float Pervasives.ref
val esc : string
val xmin : float Pervasives.ref
val xmax : float Pervasives.ref
val ymin : float Pervasives.ref
val ymax : float Pervasives.ref
val xscale : float Pervasives.ref
val yscale : float Pervasives.ref
val base : Widget.frame Widget.widget
val bar : Widget.frame Widget.widget
val canvasFrame : Widget.frame Widget.widget
val canvas : Widget.canvas Widget.widget
val canvas_sb_v : Widget.scrollbar Widget.widget
val canvas_sb_h : Widget.scrollbar Widget.widget
val commandFrame : Widget.frame Widget.widget
val infoFrame : Widget.frame Widget.widget
val lstFrame : Widget.frame Widget.widget
val label_lst : Widget.label Widget.widget
val lst : Widget.listbox Widget.widget
val lst_sb_v : Widget.scrollbar Widget.widget
val lst_sb_h : Widget.scrollbar Widget.widget
val storyFrame : Widget.frame Widget.widget
val label_story : Widget.label Widget.widget
val story : Widget.listbox Widget.widget
val story_sb_v : Widget.scrollbar Widget.widget
val story_sb_h : Widget.scrollbar Widget.widget
val buttonFrame : Widget.frame Widget.widget
val tag_number : int Pervasives.ref
val previous_tag_number : unit -> unit
val add_tag_number : unit -> unit
val remove_graphics_obj : unit -> unit
val remove_graphics_obj_with_tag_value : string -> unit
tag
: stringval remove_graphics_obj_with_tag : int -> string -> unit
tag_num
: inttag_string
: stringval yDelta : float Pervasives.ref
val xconv : float -> int
x
: floatval yconv : float -> int
y
: floatval draw_line : float -> float -> float -> float -> Tk.color -> int -> unit
x1
: floaty1
: floatx2
: floaty2
: floatcol
: Tk.colortag_number
: intval draw_click_zone : float -> float -> int -> string -> unit
draw a rectangle around the point (x,y) the tags values tag_number1 and tag2.
Returns unit
x
: floaty
: floattag_number1
: inttag2
: stringval message_emission : bool Pervasives.ref
val message_sender : bool Pervasives.ref
val message_receiver : bool Pervasives.ref
val message_real : bool Pervasives.ref
val message_principal_sender : bool Pervasives.ref
val draw_text : float -> float -> string -> Tk.color -> string list -> Tk.anchor -> unit
x
: floaty
: floattext
: stringcol
: Tk.colortag
: string listval draw_text_left : float -> float -> string -> Tk.color -> int -> string -> unit
draw a text at the position (x,y) with color col with tag value tag_number and tag2
Returns unit
x
: floaty
: floattext
: stringcol
: Tk.colortag_number
: inttag2
: stringval draw_step : float -> float -> string -> Tk.color -> int -> string -> unit
draw a text at the position (x,y) with color col with tag value tag_number and tag2
Returns unit
x
: floaty
: floattext
: stringcol
: Tk.colortag_number
: inttag2
: stringval role_var_monitoring : (string, string) Hashtbl.t
val var_in_monitor : (string, string) Hashtbl.t
val infos_zones : ((float * float) * float list) list Pervasives.ref
val find_number_of_var_in_monitor : float -> float -> int
abs
: floatord
: floatval in_zone : float -> bool
ord
: floatval in_click_zone : float -> float -> bool
x
: is the abscissa value of the point (x,y)y
: is the Y-axis value of the point (x,y)val in_click_zone_y : float -> bool
y
: is the Y-axis value of the zone of click that we search with this functionval number_of_common_line_between_all_zones : float -> float -> int
x
: is an abscissa valuey
: is an Y-axis valueval del_zone : float -> float -> unit
x
: in an abscissa valuey
: is an Y-axis valueval del_zone_y : float -> unit
y
: is an Y-axis valueval add_in_zone : float -> float -> float list -> unit
y
: is an Y-axis valueval nbAgents : int Pervasives.ref
val yMarge : float Pervasives.ref
val yOrd : float Pervasives.ref
val yOrd_init : unit -> unit
val yAction : unit -> float
val previous_yAction : unit -> unit
val role_position : (string, float) Hashtbl.t
val draw_plot : float -> string -> Tk.color -> unit
x_pos
: floattext
: stringcol
: Tk.colorval draw_row : float ->
float ->
float ->
Tk.color ->
string -> string -> string -> Tk.color -> string -> Tk.color -> unit
x1
: floatx2
: floaty
: floatcol_line
: Tk.colormessage_receiver
: stringreal_message
: stringmessage_sender
: stringcol_message
: Tk.colormessage_emission
: stringcol_emission
: Tk.colorval draw_action : string ->
string ->
Tk.color ->
string -> string -> string -> Tk.color -> string -> Tk.color -> unit
agentA
: stringagentB
: stringcol
: Tk.colorsender_pattern
: stringreal_message
: stringreceive_pattern
: stringcol_txt
: Tk.colormessage2
: stringcol_txt2
: Tk.colorval xinit_coord : int -> unit
nb_agents
: intval contains_term_list : (Types.if_value_type * Types.if_value_type) list Pervasives.ref
val roles_printed : string list Pervasives.ref
val list_to_string : ('a -> string) -> string -> 'a list -> string
val print_list : ('a -> string) -> string -> 'a list -> unit
val prerr_list : ('a -> string) -> string -> 'a list -> unit
val list2_to_string : ('a -> string) -> string -> 'a list -> string
val term_type_to_string : Types.basic_type Types.term_structure -> string
val prerr_term_type : Types.basic_type Types.term_structure -> unit
val if_value_to_string : (Types.if_value_type -> string) -> Types.if_value_type -> string
val print_if_value : (Types.if_value_type -> string) -> Types.if_value_type -> unit
val prerr_if_value : (Types.if_value_type -> string) -> Types.if_value_type -> unit
val atom_ground_value_to_string : Types.if_value_type -> string
val ground_if_value_to_string : Types.if_value_type -> string
val print_ground_if_value : Types.if_value_type -> unit
val prerr_ground_if_value : Types.if_value_type -> unit
val term_to_string : Types.atoms_type Types.term_structure -> string
val print_term : Types.atoms_type Types.term_structure -> unit
val prerr_term : Types.atoms_type Types.term_structure -> unit
val term_value_to_string : int -> Types.atoms_type Types.term_structure -> string
val if_term_to_string : string -> Types.if_term -> string
val print_if_term : string -> Types.if_term -> unit
val prerr_if_term : string -> Types.if_term -> unit
val ltl_formula_to_string : Types.ltl_type -> string
val atoms_type_to_string : bool -> Types.basic_type Types.term_structure -> string
val global_id_to_type_string : int -> string
val print_section_types : unit -> unit
val is_convertible_property : Types.ltl_type -> bool
val ltl_to_neg_dnf : Types.ltl_type -> Types.if_term list list
val print_section_goals : (Types.atoms_type Types.term_structure list ->
Types.atoms_type Types.term_structure list ->
Types.atoms_type Types.term_structure list -> 'a) ->
Types.goals_type list -> unit
val print_section_signatureA : Types.role_instance list -> unit
val initial_states : (string, string) Hashtbl.t
val add_state : string -> string -> unit
name
: is an agentstate
: is an initial stae of the agent "name"val get_initial_state : string -> string
name
: is an agentval list_to_stringA : ('a -> unit) -> 'a list -> unit
val print_initial_stateA : Types.if_term list -> unit
val print_section_init : Types.role_instance list -> unit
val print_if_states_listA : string -> Types.if_term list -> string * string list
val multi_transition : string * string list ->
string list ->
string list ->
string * string list ->
((string * string) *
((string list * string list) * (string list * string list)) *
(string * string))
list
val print_if_states_list : string -> Types.if_term list -> unit
val print_section_rulesA : Types.role_instance list ->
Types.term list ->
Types.term list ->
Types.term list ->
(string * int * 'a list Pervasives.ref *
((string * string) *
((string list * string list) * (string list * string list)) *
(string * string))
list)
list
val trace_story : string list Pervasives.ref
val next_story : string list Pervasives.ref
val incomming_events : string list Pervasives.ref
val insert_lst : string -> string -> unit
val match_message_with_one_state_of_agent : string -> string Pervasives.ref -> string -> string -> string -> bool
val state_refresh : string -> string -> string -> string -> unit
sender
: is the sender of the messagemessage
: is the messagereciever
: is the reciever of the messageval intruderFrameForButton : Widget.frame Widget.widget
val intruderFrame : Widget.frame Widget.widget
val intruder_knowledge_lst : Widget.listbox Widget.widget
val intruder_knowledge_v : Widget.scrollbar Widget.widget
val intruder_knowledge_h : Widget.scrollbar Widget.widget
val display_intruder_knowledge : unit -> unit
val label_intruder : Widget.label Widget.widget
val window_compose_intruder_knowledge : Widget.button Widget.widget
val click : int Pervasives.ref
val emission : Widget.listbox Widget.widget -> string -> string -> string
lst
: listbox lstsender
: is the name of the sender of the messagemessage
: is the message send by the sender and receive by another agentval tv_untypedButton : Textvariable.textVariable
val untypedButton : Widget.checkbutton Widget.widget
val goButton : Widget.button Widget.widget
val previousButton : Widget.button Widget.widget
val draw_role_click_zone : string -> unit
name
: of the roleval button_list : (Textvariable.textVariable * Widget.checkbutton Widget.widget) list
Pervasives.ref
val var_frame : string -> unit
name
: of the roleval fileName : string Pervasives.ref
val traceFileName : string Pervasives.ref
val meb : Widget.menubutton Widget.widget
val men : Widget.menu Widget.widget
val meb_modes : Widget.menubutton Widget.widget
val men_modes : Widget.menu Widget.widget
val tv_messageEmissionButton : Textvariable.textVariable
val tv_messageSender : Textvariable.textVariable
val tv_messageReceiver : Textvariable.textVariable
val tv_messageReal : Textvariable.textVariable
val tv_principalSender : Textvariable.textVariable
val meb_var : Widget.menubutton Widget.widget
val men_var : Widget.menu Widget.widget
val meb_msc_label : Widget.menubutton Widget.widget
val print_if : Types.role_instance list -> Types.goals_type list -> unit