Index of values


__ocaml_lex_tables [Lexer]
__ocaml_lex_token_rec [Lexer]

A
a [Unifytest]
create an ATSE value (atom) with identifier "n", with no type
acceptable_value [Unifystd]
actionTreatment [Utils_simulator]
decompose a string "mess" of the form "a -> b | c" in a 3-uplet (a,b,c)
add [Unifystd]
add_ctr [Unifystd]
add_elem [Unifystd]
add_entry [Intruder]
add_identification_ctr_xor [Unify]
add_in_aggregation [Variables]
add the value or the variable "value" of the role "name0" is contained in "var" of the role "name"
add_in_automate_story [Automate]
save the current state of the automate in automate_story
add_in_list [Variables]
add the value or the variable "value" of the role "name0" is contained in the list "var" of the role "name"
add_in_match_message_story [Unifytest]
save an unification in the hash table !match_message_story
add_in_message_stack [Message_stack]
add the message "message" in the stack of messages to send by the agent "name_in_session" in the state "state".
add_in_rcv_stack [Message_stack]
add the message "message" in the stack of messages to receive by the agent "name_in_session" in the state "state".
add_in_set [Variables]
add the value or tha variable "value" of the role "name0" is contained in the set "var" of the role "name"
add_in_variable_change [Variables]
Record the variables for which the value is changed during the current execution of the protocol.
add_in_variable_story [Variables]
Record the variables for which the value is changed during the execution of the last step of the protocol.
add_in_zone [Interface]
add a zone for which the click zone position is equal to (x,y), and the list of Y-axis position of the info zones is y.
add_lines [Unifyxor]
add_newvalue [Unifystd]
add_on_stack [Message_stack]
contains all the messages to send and to receive in the waiting line in the current step of the protocol
add_sem_error [Semantic_check]
add_stack_story [Message_stack]
contains all the messages to send and to receive in the waiting line since the begin of the protocol execution.
add_state [Interface]
Record an initial state "stae" of the agent "name" in the hash table initial_states
add_tag_number [Interface]
compute tag_number at the next step of the protocol
add_to_po [Utils_unify]
add_trace [Utils_unify]
add_type [Variables]
add a type of a variable or a signature of role in the hash table role_signture
add_var_value [Variables]
give the value or the value of the variable "value" of the agent "name0" to the variable "var" of the agent "name"
affiche_debug [Utils_debug]
affiche_equation [Utils_debug]
always_compatible_types [Semantic_check]
apply_choice_std [Unify]
apply_subst [Section_rules]
array_to_list [Unifyxor]
assign_set_value [Instantiation]
assign_sub [Unifytest]
Assign values of variables in Message and in States
assign_value [Instantiation]
assign_var [Unifytest]
Assign the values of the variables in message "m2" of an agent "name2" in state "state2" from the variables and the value of a message "m1" of an agent "name" in state "state"
assign_var_of_state [Unifytest]
Assign the values of the variables of an agent "name2" in state "state2" from the state "state" of an agent "name".
at [Unifytest]
create an ATSE value (atom) with identifier "n", with th type "t"
atom_ground_value_to_string [Interface]
atoms_type_to_string [Interface]
automate [Automate]
the automate is a very important structure.
automate_story [Automate]
contains the historic of the automate.
automate_types_to_unify_types [Unifytest]
contains the translation of an IF type to an ATSE type, the keys of the hash table is an IF type and the value is an ATSE type
automtat_to_unify_format [Unifytest]
contains the transcrption of an IF term to an ATSE term

B
bar [Interface]
Menu bar
base [Interface]
principal frame
basic_role_instances [Instantiation]
benchmark [Utils_unify]
benchmark_help [Utils_unify]
black [Utils_simulator]
blue [Utils_simulator]
blue_light [Utils_simulator]
bounded_search [Utils_unify]
build_matrices [Unifyxor]
buttonFrame [Interface]
frame for the buttons "Next step" "Previous step" "untyped_variables"
button_list [Interface]
list of pair : textvariable and checkbutton for create a frame for select the name of the variables for which the user wants toknow the value.

C
caddr [Utils_simulator]
cadr [Utils_simulator]
call_instantiation [Instantiation]
canvas [Interface]
canva for draw the MSC
canvasFrame [Interface]
frame for the canva
canvas_sb_h [Interface]
canvas_sb_v [Interface]
car [Utils_simulator]
cddr [Utils_simulator]
remove two elements at the begining to the list
cdr [Utils_simulator]
check_all [Semantic_check]
check_args [Semantic_check]
check_cons [Semantic_check]
check_duplication [Semantic_check]
check_equal [Semantic_check]
check_event_in_lhs [Semantic_check]
check_goals [Semantic_check]
check_no_event_in_lhs [Semantic_check]
check_player_of_role [Semantic_check]
check_predicate_vars [Semantic_check]
check_start [Semantic_check]
check_var [Semantic_check]
choose_theory [Unify]
clear_message_story [Unifytest]
save !match_message_story in !latest_message_story, and clear !match_message_story.
click [Interface]
click is used for create a double-click.
clicol [Utils_simulator]
close_out_noerr [Globals]
clot [Unifystd]
clot_light [Unifystd]
clot_norm [Unifystd]
cn [Unifytest]
create an ATSE number
column_nb [Utils_unify]
column_nb_help [Utils_unify]
combine_classes [Unify]
combine_subs [Unify]
commandFrame [Interface]
frame for the buttons "Next step" "Previous step" "untyped_variables" and for for the incoming events and the past events
comp [Unifystd]
compare_terms [Semantic_check]
compare_types [Semantic_check]
compatible [Variables]
test if the type "t1" can be unified with the type "t2"
compatible_types [Semantic_check]
compute_assignation_list [Instantiation]
compute_assignment_list [Instantiation]
compute_initial_infos [Instantiation]
compute_knowledge_given_to_intruder [Instantiation]
concatenate_with_no_copy [Utils]
configure [Utils_simulator]
containStr [Utils_simulator]
test if the string "s1" contains the string "s2"
contains_term_list [Interface]
contains_var [Unifystd]
create_number [Utils_unify]
ctrTest [Unifystd]
ctrTest_exp [Unifystd]
current_font_size [Utils_simulator]
the current fonts size
current_protocol [Utils_unify]
current_role [Globals]

D
debug_level [Globals]
debug_read [Utils_unify]
debug_read_help [Utils_unify]
decompose [Utils_simulator]
decompose a string of the form "a(b,...,c)" ina string list of the form a ;b ... ; c
defcol [Utils_simulator]
del_entry [Intruder]
del_zone [Interface]
remove the infos zone for which the click zone position is (x,y)
del_zone_y [Interface]
remove all the infos zones for which the Y-axis value of the click zone is equals to "y"
delete_in_aggregation [Variables]
delete the value or the variable "value" of the role "name0" is contained in "var" of the role "name"
delete_in_list [Variables]
delete the value or the variable "value" of the role "name0" is contained in the list "var" of the role "name"
delete_in_set [Variables]
delete the value or tha variable "value" of the role "name0" is contained in the set "var" of the role "name"
display [Unifytest]
displayWarning [Error_handler]
display_intruder_knowledge [Interface]
display the intruder knowledge in the list box intruder_knowledge_lst
double [Utils_unify]
draw_action [Interface]
draw an arrow between then agentA and the agentB with the color col_line, for symbolise an execution of a step of the protocol, with the text sender_pattern, real_message, and message_receiver with the color col_txt, and with the text message2 with the color col_txt2.
draw_click_zone [Interface]
For the variable monitoring
draw_line [Interface]
draw between (x1, y1) and (x2, y2) with the color col and the tag tag_number
draw_plot [Interface]
draw an agent of the protocol
draw_role_click_zone [Interface]
role_click_zone draw the zone for which the user can click and see value of variables of the role
draw_row [Interface]
draw an arrow beteween (x1, y) and (x2,y) with the color col_line, for symbolise an execution of a step of the protocol, with the texts message_sender, real_message and message_receiver with the color col_message, and with the text message_emission with the color col_emission.
draw_step [Interface]
For display the number of the step of protocol
draw_text [Interface]
draw a text at the position (x,y) with color col with tag value tag
draw_text_left [Interface]
For the variable monitoring
dummy_basic_hlpsl_role [Instantiation]
dummy_composition_role [Instantiation]
dummy_val_of_type [Semantic_check]
dummy_values_string_list [Globals]
dump [Utils_debug]

E
egal [Unifystd]
emission [Interface]
Compute the string for display the message send on the network during the execution of a step
errorNumber [Error_handler]
errorNumber [ErrorHandler_unify]
errorsCounter [Error_handler]
esc [Interface]
exists_more_general_eq [Unify]
exp_equal [Unify]
exp_inverse [Utils_unify]
extract_init_infos [Instantiation]

F
fileName [Interface]
file of the HLPSL spceicification of the protocol
filter_args [Instantiation]
findIknows [Automate]
in a pair (state, message), findIknows return the message
findState [Automate]
in a pair (state,message), findIknows return the state
find_function_value [Utils]
find_generic_role [Instantiation]
find_number_of_var_in_monitor [Interface]
compute the number of the values of var displayed on the MSC associated with the click zone (abs,ord).
find_operation_of_state [Unifytest]
this function finds the operation associated with a state describe in a right member of a transition
find_player_in_role [Utils]
find_role [Instantiation]
find_separator [Utils_simulator]
find a separator "k" in a string "message" "(ak...kb)".
flag_goals [Globals]
flag_init [Globals]
flag_rules [Globals]
flag_split [Globals]
flag_stdout [Globals]
flag_types [Globals]
flag_warnings [Globals]
flat_map [Utils_unify]

G
gauss_elim [Unifyxor]
generate_row_ordering [Unifyxor]
get_any_type_of [Globals]
get_font [Utils_simulator]
get_fresh_terms [Section_rules]
get_if_cond [Section_rules]
get_if_lhs [Section_rules]
get_if_reactions [Section_rules]
get_if_term [Section_rules]
get_if_value_type [Utils]
get_iknows [Section_rules]
get_initial_state [Interface]
return the initial state of the agent "name"
get_keyword [Lexer]
get_majors [Utils_unify]
get_match_message_story [Unifytest]
return the result of an unification, if it is previously compute and save in the hash table !match_message_story
get_max_length_message [Automate]
get_message_stack [Message_stack]
return the stack of messages to send by the agent "name_in_session" in the state "state".
get_name_in_session [Utils_simulator]
return the name of a role composed a number of instanciation
get_name_of_refresh_var [Variables]
get_name_of_test_var [Variables]
get_name_of_var [Variables]
get_onlyvar [Unify]
get_po [Unify]
get_primed_vars [Section_rules]
get_rcv_stack [Message_stack]
return the stack of messages to receive by the agent "name_in_session" in the state "state".
get_real_fresh_terms [Section_rules]
get_received_fresh_terms [Section_rules]
get_role_signature [Variables]
return the signature of a role "role_name"
get_row [Unifyxor]
get_set_if_value [Instantiation]
get_step_var_list [Section_rules]
get_type [Variables]
return the type of a variable "r"
get_type_of_var_in_state [Variables]
get_unification [Unifytest]
Return an unification of the values of the variables in message "m2" of an agent "name2" in state "state2" from the variables and the value of a message "m1" of an agent "name" in state "state"
get_value [Utils]
get_value_of_var [Variables]
Give the value of the variable "var" of the agent "name"
get_value_of_var_at_step [Variables]
return the value of the variable "var" of the role "name" at the step "step" of the execution of the protocol
get_vars [Unifyxor]
getcol [Intruder]
global_i [Globals]
global_id_to_type_string [Interface]
global_start [Globals]
global_start_const [Globals]
global_var_id [Globals]
goButton [Interface]
Button "Next Step"
goals [Instantiation]
green [Utils_simulator]
ground_if_value_to_string [Interface]
gvi_get_name [Utils_debug]

H
handleLexerError [Error_handler]
handleParseError [Error_handler]
handleSemanticError [Error_handler]
handleSystemError [Error_handler]
handle_string [Lexer]
height [Interface]
hlpsl_variable_to_global_var_id [Utils]

I
i_knowledge [Globals]
id_refresh [Variables]
id_refresh is used for refresh the value of the variables.
id_refresh_story [Variables]
id_refresh_story is the historic of the variable id_refresh after each step of the protocol.
id_type [Unifytest]
used for generate an ATSE term with an IF type (nat, text, nonce,...)
id_var_atom [Unifytest]
used for generate an ATSE term with an IF value or an IF variable
identifier_prefix [Lexer]
identify_variables [Unify]
if_term_to_string [Interface]
if_term_to_type [Utils]
if_value_to_string [Interface]
ifpair_to_list [Instantiation]
in_aggregation [Variables]
test if the value or the variable "value" of the role "name0" is contained in "var" of the role "name"
in_click_zone [Interface]
test if point (x,y) is contained in a zone of click
in_click_zone_y [Interface]
test if a zone of click with the Y-axis value equals to y, exists
in_list [Variables]
test if the value or the variable "value" of the role "name0" is contained in the list "var" of the role "name"
in_message_stack [Message_stack]
test if the message "message" in the stack of messages to send by the agent "name_in_session" in the state "state" is in the hash table message_stack.
in_set [Variables]
test if the value or tha variable "value" of the role "name0" is contained in the set "var" of the role "name"
in_zone [Interface]
Test if the Y-axis position ord is contained in a infos_zones (a zone for the display the values of variables)
incomming_events [Interface]
contains all incoming events pruposed to the user.
indexStr [Utils_simulator]
return the position of the string "s2" in the string "s1".
index_col [Intruder]
infoFrame [Interface]
frame for the incoming events and the past events
infos_zones [Interface]
the infos_zones is the zones used for the variable monitoring is a click of all the click_zones associated with the Y-axis position of the information
init_predicates [Globals]
initial_states [Interface]
contains the initial states of all the agent.
initialisation [Utils_unify]
input_file [Globals]
insere_exp [Unifystd]
insert [Utils_unify]
insert_lst [Interface]
update the list box lst for purpose to the user all incoming events
insert_with_no_copy [Utils]
instances_schema [Instantiation]
intersection [Unify]
intru [Utils_unify]
intru_store [Utils_unify]
intruderFrame [Interface]
frame for display intuder knowledge and for the button for compose a message with the intruder knowledge
intruderFrameForButton [Interface]
frame for the "window_compose_intruder_knowledge" button and the "label_intruder" label in the intruder knowledge
intruder_knowledge [Intruder]
contains all the initial knowledge of the intruder
intruder_knowledge_h [Interface]
scroll bar horizontal of intruder_knowledge_lst
intruder_knowledge_lst [Interface]
a listbox for display the intruder knowledge
intruder_knowledge_v [Interface]
scroll bar vertical of intruder_knowledge_lst
intruder_mode [Intruder]
intruder mode
intruder_name [Globals]
intruder_roles [Instantiation]
inverse [Unifystd]
is_a_list [Variables]
test if "var" is a list
is_a_refresh_var [Variables]
is_a_set [Variables]
test if "var" is a set
is_a_test_var [Variables]
is_a_value [Variables]
test if value is a value
is_a_var [Variables]
test if value is a variable
is_allowed [Unify]
is_allowed_sub [Unify]
is_allowed_vi [Unify]
is_an_aggregation [Variables]
test if "var" is an aggregation type
is_convertible_property [Interface]
is_dummy_term [Globals]
is_intruder [Utils]
is_keyword [Lexer]
is_more_general_eq [Unify]
is_possible [Unifyxor]
is_subset [Unify]
it_list [Utils_unify]
it_list2 [Utils_unify]

K
keyword_table [Lexer]

L
l_entry [Intruder]
label_intruder [Interface]
create a label in the intruder knowledge
label_lst [Interface]
label for the incoming events
label_story [Interface]
label for the incoming events
latest_message_story [Unifytest]
it is the previous value of !match_message_story.
lexbuf [Globals]
lexerError [ErrorHandler_unify]
licence_help [Utils_unify]
light_help [Utils_unify]
light_unif [Utils_unify]
lineCounter [Error_handler]
lineCounter [ErrorHandler_unify]
line_number [Parser]
list2_to_string [Interface]
list2string [Utils_simulator]
list_font [Utils_simulator]
list_it [Utils_unify]
list_of_errors [Semantic_check]
list_to_string [Interface]
list_to_stringA [Interface]
liste_var [Unifystd]
load_last_state [Automate]
load the previous state of the automate
local_variable_change [Variables]
Record the variables for which the value is changed during a period of the execution of the protocol.
localobjtype [Utils_unify]
localtab [Utils_unify]
localtabletype [Utils_unify]
lookup [Unifyxor]
lookup_bidir_remove [Unify]
lr_help [Utils_unify]
lst [Interface]
list box for the incoming events
lstFrame [Interface]
frame for the incoming events
lst_sb_h [Interface]
lst_sb_v [Interface]
scroll bar of lst
lst_sub_dbg [Debugprinting]
lst_sub_ls_dbg [Debugprinting]
lst_subs_dbg [Debugprinting]
ltl_formula_to_string [Interface]
ltl_to_neg_dnf [Interface]

M
make_sid_variable [Instantiation]
match_message [Unifytest]
unify a message "m1" send by an agent "name" in a state "sender_state" with a message "m2" receive by an agent "name2" in a state "state2".
match_message_story [Unifytest]
contains all the unifications computed in the current state of the protocol (or the current state the automate) the key is a 7-uplet (name of the first agent, state of the first agent, message send by the first agent, name of the second agent, state of the second agent, message of the second agent, the value of variable !untyped_variables), the value is an unification
match_message_with_one_state_of_agent [Interface]
match_state [Unifytest]
unify a state "m1" of an agent "name" with a state "m2" of an agent "name2".
max_l [Utils_simulator]
compute the max in a list of int, float, double
max_length_message [Transcript]
Compute the maximal length of the strings which represents the messages in the automata
max_length_message [Automate]
max_length_string [Utils_simulator]
return the maximal length of a string in a list of strings
maybe_sooner_present [Utils_unify]
meb [Interface]
Menu_button "Trace Files"
meb_modes [Interface]
Menu_button "Modes"
meb_msc_label [Interface]
MSC label
meb_var [Interface]
Menu_button "Variables monitoring"
memory_map [Globals]
men [Interface]
Menu "Trace Files"
men_modes [Interface]
Menu "Modes"
men_var [Interface]
Menu "Variables monitoring"
merge [Utils_unify]
merge_exp [Unifystd]
merge_expinv [Unify]
merge_first [Utils_unify]
message_emission [Interface]
if !message_emission=true then the animator displays all the messages send in the network for each transitions
message_principal_sender [Interface]
if !message_principal_sender=true then the animator displays the pattern of the message send in the network for each transitions in the middle of the arrow
message_real [Interface]
if !message_real=true then the animator displays the message send by an agent and receive by another
message_receiver [Interface]
if !message_receiver=true then the animator displays the pattern of the message receiver in the network for each transitions
message_sender [Interface]
if !message_sender=true then the animator displays the pattern of the message send in the network for each transitions
message_stack [Message_stack]
contains all the messages to send and to receive in the waiting line.
message_stack_is_empty [Message_stack]
test if the stack of messages to send is empty for the agent "name_in_session" in the state "state".
min_l [Utils_simulator]
compute the min in a list of int, float, double
multi_transition [Interface]
print the transitions of the agents

N
nbAgents [Interface]
The number of the agents in the protocol execution
nb_AtmTypes [Utils_unify]
nb_help [Utils_unify]
nb_steps [Utils_unify]
newSetsDecl [Parser]
newSetsInfo [Parser]
newSetsInit [Parser]
new_to_old_mem_map [Instantiation]
new_var_if_not_std [Unifystd]
next_add_stack [Message_stack]
add the current value add_on_stack in add_stack_story : add the current value to the historic, and initialize the value of add_on_stack
next_id_refresh_story [Variables]
record the current value of id_refresh in id_refresh_story
next_message_stack [Message_stack]
This function call next_add_stack () and next_remove_stack (), then this function : add the current value add_on_stack in add_stack_story : add the current value to the historic, and initialize the value of add_on_stack, add the current value remove_of_stack in remove_stack_story : add the current value to the historic, and initialize the value of remove_of_stack
next_remove_stack [Message_stack]
add the current value remove_of_stack in remove_stack_story : add the current value to the historic, and initialize the value of remove_of_stack
next_story [Interface]
!next_story contains all the events executed before the user of the tool use the "Previous Step" button.
no_execution [Utils_unify]
no_execution_help [Utils_unify]
no_type [Utils_unify]
no_type_help [Utils_unify]
noopt_help [Utils_unify]
nop [Utils_simulator]
norm_Exp [Unifystd]
norm_Uplet [Unifystd]
norm_Uplet_cmp [Unifystd]
norm_Uplet_light [Unifystd]
norm_Xor [Unifystd]
nosplit [Utils_unify]
nosplit_help [Utils_unify]
not_excluded_type [Globals]
not_filter [Utils_unify]
not_forgeable [Utils_unify]
ns_help [Utils_unify]
number_of_common_line_between_all_zones [Interface]
compute the number of common line between the zone associates with the click zone (x,y), and all the others zones (the zones for the display the values of variables : "variable monitoring") with the Y-axis value equals to "y".

O
offsetCounter [Error_handler]
operations_affectation_treatment [Unifytest]
this function return a boolean value.
operations_test_treatment_left [Unifytest]
this function return a boolean value.
operations_test_treatment_right [Unifytest]
this function treats this affections operations like add an element in a list or in a set, and delete an element in a list or in a set
opt_help [Utils_unify]
optimiser [Utils_unify]
orange [Utils_simulator]
ou_help [Utils_unify]
out_to_file [Utils_unify]
outdir [Utils_unify]
outdir_help [Utils_unify]
output_dir [Globals]
output_file [Globals]

P
pair_to_list [Semantic_check]
par_help [Utils_unify]
parse_error [Parser]
parserError [ErrorHandler_unify]
partial_map [Utils]
path_span [Utils_simulator]
pivot [Unifyxor]
played_by_intruder [Instantiation]
player_to_role [Globals]
pre_choice_of_thy [Unify]
pre_choice_std [Unify]
pre_choice_xor [Unify]
pre_identification [Unify]
prefix_name [Lexer]
prerr_global_ids [Utils_debug]
prerr_ground_if_value [Interface]
prerr_id_string [Utils_debug]
prerr_if_term [Interface]
prerr_if_value [Interface]
prerr_list [Interface]
prerr_mem_map [Utils_debug]
prerr_player_to_role [Utils_debug]
prerr_string_id [Utils_debug]
prerr_term [Interface]
prerr_term_type [Interface]
prerr_type_table [Utils_debug]
prerr_value_table [Utils_debug]
previousButton [Interface]
Button "Previous Step"
previous_add_stack [Message_stack]
the variables add_stack_story and add_on_stack comme back to her previous value in the previous step of the protocol.
previous_id_refresh_story [Variables]
id_refresh and id_refresh_story back to their values in the previous step of the protocol
previous_message_stack [Message_stack]
the variables add_stack_story and add_on_stack comme back to her previous value in the previous step of the protocol, and the variables remove_stack_story and remove_of_stack comme back to her previous value in the previous step of the protocol.
previous_message_story [Unifytest]
the hash table !match_messate_story came back at her previous value
previous_remove_stack [Message_stack]
the variables remove_stack_story and remove_of_stack comme back to her previous value in the previous step of the protocol.
previous_state [Automate]
the automate comme back to the previous state
previous_tag_number [Interface]
compute tag_number at the previous step of the protocol and respect the rule : !tag_number>0
previous_variable_state [Variables]
the variables comme back to their previous values at the previous step of the execution of the protocol
previous_yAction [Interface]
Adjust the value of yOrd when the user come back to the previous step of the execution of the protocol
print_debug [Debugprinting]
print_ground_if_value [Interface]
print_if [Interface]
Principal of this modul call in main.ml
print_if_states_list [Interface]
print_if_states_listA [Interface]
print_if_term [Interface]
print_if_value [Interface]
print_initial_stateA [Interface]
Record the initial state of the roles
print_list [Interface]
print_section_goals [Interface]
print_section_init [Interface]
record the initial states, the initial knowledge of the intruder
print_section_rulesA [Interface]
print the transitions of the agents
print_section_signatureA [Interface]
record the signature of the roles
print_section_types [Interface]
print_term [Interface]
print_type_in_role_session [Variables]
add the signature of the roles contains in the !automate variable, in the hash table role_signature
process_layer [Unify]
process_layer_elem [Unify]
properties [Utils_unify]
protocol_names [Utils_unify]
prout_endline [Globals]
prout_int [Globals]
prout_newline [Globals]
prout_string [Globals]
purify [Unifystd]
purify_pair [Unify]

R
rcv_stack_is_empty [Message_stack]
test if the stack of messages to receive is empty for the agent "name_in_session" in the state "state".
reachable_states [Utils_unify]
readFile [Utils_simulator]
Read a file and return a list of string where each string is a line of the file
recursif [Unifystd]
red [Utils_simulator]
refresh_var [Variables]
refresh the value of a variable "var" of the agent "name".
refresh_var_of_state [Variables]
refresh the values of all the variables of a state "state" of the agent "name".
register_inst_local [Instantiation]
register_list_of_var [Instantiation]
register_start [Globals]
remove [Utils_simulator]
remove an element "elt" from a list "l"
remove_all_message_stack [Message_stack]
delete all the messages "message" in the stack of the messages to send by the "agent name_in_session" in all the states of this agent.
remove_all_rcv_stack [Message_stack]
delete all the messages "message" in the stack of the messages to receive by the agent "name_in_session" in all the states of this agent.
remove_double [Utils_simulator]
remove the multiple occurences of the element in a list "l"
remove_duplicate [Utils]
remove_from_list [Unify]
remove_from_subs [Unify]
remove_graphics_obj [Interface]
remove the graphical objects (arrow, text, message) created by the execution of the previous step of the protocol
remove_graphics_obj_with_tag [Interface]
remove the graphical objects associated with the two parameters tag_num and tag_string
remove_graphics_obj_with_tag_value [Interface]
remove the graphical objects associated with the parameter tag
remove_identif [Unify]
remove_index [Utils_simulator]
remove just the element to the index "index" from a list "l"
remove_left_space [Utils_simulator]
remove the blank after the position "i" until another character in a string "s" with a length "l"
remove_local_variable_change [Variables]
remove_message_stack [Message_stack]
delete the message "message" in the stack of messages to send by the agent name_in_session in the state "state".
remove_of_stack [Message_stack]
contains all the messages sent and received in the waiting line in the current step of the protocol
remove_one [Utils_simulator]
remove just one occurence of an element "elt" from a list "l"
remove_rcv_stack [Message_stack]
delete the message "message" in the stack of messages to receive by the agent "name_in_session" in the state "state".
remove_right_space [Utils_simulator]
remove the blank before the position "i" until another character in a string "s" with a length "l"
remove_space [Utils_simulator]
remove the blank at the beginning of a string "s" and at the end of this string "s"
remove_stack_story [Message_stack]
contains all the messages sent and received in the waiting line since the begin of the protocol execution.
remove_state_message_stack [Message_stack]
delete all the messages "message" in the stack of the messages to send by the agent "name_in_session" in the state "state".
remove_state_rcv_stack [Message_stack]
delete all the messages "message" in the stack of the messages to receive by the agent "name_in_session" in the state "state".
rep [Unify]
replace [Utils_unify]
replace [Utils_simulator]
replace a string "s1" by the string "s2" in a string "s"
reps [Unify]
rev_flat_map [Utils_unify]
rev_iter [Utils_unify]
role_def_list [Instantiation]
role_position [Interface]
the abscissa of the agents
role_signature [Variables]
contains the signature of the roles, and the type of the variables the key of the hash table is the name of the role or the name of the variable, the value is the signature of the role (a list of type), or the type of the variable (a list with one element : a string for describes the type (type))
role_table [Utils_unify]
role_var_monitoring [Interface]
role_var_monitoring contains all the name the variables of the roles for which it is possible to display the value the key is the role , the value is the name of the variables of the role
roles_printed [Interface]
root [Utils_simulator]
Initialize Tk
round [Utils_simulator]
round a float to the near integer value

S
saveFile [Utils_simulator]
Save a file
scroll_link [Utils_simulator]
scroll_link link scroll event of the canvas to the scroll bar
scroll_link_canvas [Utils_simulator]
scroll_link_canvas link scroll event of the canvas to the scroll bar
selcol [Utils_simulator]
sequential_transition_rules [Globals]
set_minus [Utils_unify]
set_size_of_all_fonts [Utils_simulator]
for change fonts size
short_help [Utils_unify]
showparser [Utils_unify]
showtable [Utils_unify]
simplifier [Utils_unify]
solve_triangular [Unifyxor]
solve_xor_eqns [Unify]
solve_xor_eqns_choices [Unify]
specification [Parser]
split_subst [Unify]
state_refresh [Interface]
Refresh the automate variable after the execution of transition
states [Utils_unify]
states_help [Utils_unify]
states_per_dot [Utils_unify]
story [Interface]
list box for the incoming events
storyFrame [Interface]
frame for the incoming events
story_sb_h [Interface]
story_sb_v [Interface]
scroll bar of story
str_eqns_dbg [Debugprinting]
str_list_dbg [Debugprinting]
str_pairlist_dbg [Debugprinting]
str_partition_dbg [Debugprinting]
str_partitions_dbg [Debugprinting]
str_po_dbg [Debugprinting]
str_sub_clot_dbg [Debugprinting]
str_sub_dbg [Debugprinting]
str_sub_ls_clot_dbg [Debugprinting]
str_sub_ls_dbg [Debugprinting]
str_subs_clot_dbg [Debugprinting]
str_subs_dbg [Debugprinting]
str_term_dbg [Debugprinting]
str_termlist_dbg [Debugprinting]
string_id [Globals]
string_of_instances [Instantiation]
swap_lines [Unifyxor]
systemError [ErrorHandler_unify]

T
ta_help [Utils_unify]
tag_number [Interface]
tag number for design each step of protocol
td_help [Utils_unify]
term_to_string [Interface]
term_to_type [Utils]
term_type [Unifystd]
term_type_to_string [Interface]
term_value_to_string [Interface]
test [Unifytest]
for test the unification
test_unif [Unifytest]
for test the unification
time_sum [Utils_unify]
tmp_channel [Globals]
tmp_file [Globals]
to_unify_format_reciever [Unifytest]
compute the pattern of the message of the receiver in th ATSE format
to_unify_format_sender [Unifytest]
compute the pattern of the message of the sender in th ATSE format
token [Utils_unify]
token [Lexer]
topdown [Utils_unify]
total_states [Utils_unify]
traceFileName [Interface]
file of the execution trace of the protocol
trace_story [Interface]
!trace_story contains all past events in the present execution of the protocol.
transcript_receiver [Transcript]
transcript a message "mess" receives by an agent in HLPSL to Intermediate Format, and transcript a message "mess" in Intermediate Format to HLPSL.
transcript_receiver_for_intruder [Transcript]
transcript a message "mess" receives and show the tests values in this messages by an agent in HLPSL to Intermediate Format, and transcript a message "mess" in Intermediate Format to HLPSL.
transcript_sender [Transcript]
transcript a message "mess" in HLPSL send by an agent to Intermediate Format, and transcript a message "mess" in Intermediate Format to HLPSL.
transcript_table_for_intruder [Transcript]
contains all the transcription of a message from a HLPSL format send by an agent to Intermediate Format, and from Intermediate Format to HLPSL format with all the value of variables contained in this message
transcript_table_receiver [Transcript]
contains all the transcription of a message receives by an agent from a HLPSL format to Intermediate Format, and from Intermediate Format to HLPSL format
transcript_table_sender [Transcript]
contains all the transcription of a message from a HLPSL format send by an agent to Intermediate Format, and from Intermediate Format to HLPSL format
transcript_to_real [Transcript]
return a message with all the value of variables contained in this message
trivial_part [Unify]
tv_messageEmissionButton [Interface]
Textvariable for the checkbutton "view messages emissions"
tv_messageReal [Interface]
Textvariable for the checkbutton "view real message"
tv_messageReceiver [Interface]
Textvariable for the checkbutton "view receiver pattern message"
tv_messageSender [Interface]
Textvariable for the checkbutton "view sender pattern message"
tv_principalSender [Interface]
Textvariable for the checkbutton "view sender pattern in principal position"
tv_untypedButton [Interface]
Text variable for the check button "Untyped variables"
type_table [Globals]
types [Utils_simulator]
files types for the execution traces
types_schema [Utils_simulator]
files types for export the MSC on PS or PDF format

U
unfold_instances [Instantiation]
unif [Unify]
unif_cmp [Unify]
unif_combi [Unify]
unif_exp [Unify]
unif_light [Unify]
unif_uplet_cmp_f [Unify]
unif_uplet_cmp_g [Unify]
unif_uplet_cmp_h [Unify]
unif_uplet_light [Unify]
unif_uplet_norm [Unify]
unif_xor [Unifyxor]
unification [Unifytest]
compute an unification of the ATSE term "u" of the agent "n1" with the ATSE term "v" of the agent "n2".
unify [Unifytest]
compute an unification of the message "mesage1" send by the agent "name1" with the message "message2" receive by the agent "name2".
unify_format_to_automat [Unifytest]
contains the transcrption of an ATSE term to an IF term
union [Utils_unify]
untypedButton [Interface]
checkbutton "Untyped variables"
untyped_variable [Variables]
for define if the unification respects the type of variables
update_dummy_vars [Section_rules]
update_entry [Intruder]
update_fresh_terms [Section_rules]
update_intruder_knowledge [Intruder]
update the knowledge intruder, deduce some knwoledge with his initial knowldge
update_received_fresh_terms [Section_rules]
update_rhs_atoms [Section_rules]
update_rhs_primed_vars [Section_rules]
update_vars_with_cond [Section_rules]
uper [Utils_unify]
usual_unification [Unify]

V
val_purify [Unifystd]
valeur [Unifystd]
valeur_elem [Unifystd]
value_table [Globals]
var_frame [Interface]
var_frame create a frale with button for select the variable of a role for which the user wants to see the value
var_id [Utils_unify]
var_id_to_type [Utils]
var_in_monitor [Interface]
var_monitoring contains all the name the variables of the roles for which the user wants to display the value the key is the role , the value is the name of the variables of the role
var_type [Utils_unify]
var_value [Variables]
contains the value of the variables of a role the key of the hash table is a pair (name_of_role,name_of_variable), the value is the value of the variable in the role "role_name"
variable_current_change [Variables]
contains the name of the variables for which the value change in the current step of the execution of the protocol
variable_in_term_type_to_variable_global_id [Utils]
variable_story [Variables]
contains the names of the variables for which the value change for each steps of the protocol execution
vars_consts_from_IF_term [Utils]
vars_consts_from_LTL_goal [Utils]
vars_consts_from_term [Utils]
verbose [Utils_unify]
verbose_help [Utils_unify]
version_help [Utils_unify]
veryverbose [Utils_unify]
veryverbose_help [Utils_unify]
view_table_var [Variables]
violet [Utils_simulator]
violet_light [Utils_simulator]

W
warningsCounter [Error_handler]
width [Interface]
window_compose_intruder_knowledge [Intruder]
Open a window for compose a message to adding to the knowledge of the intruder composed with his knoewledge.
window_compose_intruder_knowledge [Interface]
create a window for compose a message with the intruder knowledge
words [Utils_simulator]

X
x [Unifytest]
create an ATSE variable with identifier "n", with no type
xconv [Interface]
converse a abscissa value in the private coordinate system to the real coordinate system of the canva
xinit_coord [Interface]
initialize the X-axis
xmax [Interface]
xmin [Interface]
xscale [Interface]
xt [Unifytest]
create an ATSE variable with identifier "n", with the type "t"

Y
yAction [Interface]
Adjust the value of yOrd after the execution of a transition
yDelta [Interface]
the distance between two arrows
yMarge [Interface]
A marge at the top of the MSC
yOrd [Interface]
The Y-axis position of the transition during the protocol execution
yOrd_init [Interface]
Initializationof yOrd
yconv [Interface]
converse a Y-axis value in the private coordinate system to the real coordinate system of the canva
ymax [Interface]
ymin [Interface]
yscale [Interface]
yyact [Parser]
yycheck [Parser]
yydefred [Parser]
yydgoto [Parser]
yygindex [Parser]
yylen [Parser]
yylhs [Parser]
yynames_block [Parser]
yynames_const [Parser]
yyrindex [Parser]
yysindex [Parser]
yytable [Parser]
yytables [Parser]
yytablesize [Parser]
yytransl_block [Parser]
yytransl_const [Parser]