Widget.frame Widget.widget ->
string ->
string ->
string ->
string ->
Intruder.box option ->
object
val mutable center_lst : Widget.listbox Widget.widget
val mutable center_lst_v : Widget.scrollbar Widget.widget
val mutable click_i : int
val mutable decomp_message : string list
val mutable entry_1 : Widget.entry Widget.widget
val mutable f : Widget.frame Widget.widget
val mutable f_center : Widget.frame Widget.widget
val mutable f_center_down : Widget.frame Widget.widget
val mutable f_center_top : Widget.frame Widget.widget
val mutable f_left : Widget.frame Widget.widget
val mutable f_left_down : Widget.frame Widget.widget
val mutable f_left_top : Widget.frame Widget.widget
val mutable is_an_atom : bool
val mutable knowledge : string list
val mutable l : Widget.label Widget.widget
val mutable l0 : string list
val mutable l0_rec : string Pervasives.ref
val mutable l_w : Intruder.box option list
method destroy : unit
method get_choice : string
method init : unit
method message_refinment : Intruder.box option -> unit
end