Index of class attributes
A
accept_state
[
Types.role_instance
]
accept_state
[
Types.generic_hlpsl_role
]
actions
[
Types.role_instance
]
actions
[
Types.basic_hlpsl_role
]
args
[
Types.call_type
]
C
center_lst
[
Intruder.box
]
center_lst_v
[
Intruder.box
]
click_i
[
Intruder.box
]
composition
[
Types.role_instance
]
composition_relation
[
Types.composition_role
]
cond
[
Types.basic_if_rule
]
D
decomp_message
[
Intruder.box
]
E
entry_1
[
Intruder.box
]
exists_list
[
Types.basic_if_rule
]
F
f
[
Intruder.box
]
f_center
[
Intruder.box
]
f_center_down
[
Intruder.box
]
f_center_top
[
Intruder.box
]
f_left
[
Intruder.box
]
f_left_down
[
Intruder.box
]
f_left_top
[
Intruder.box
]
from_id
[
Types.global_var_ident_table
]
G
goals
[
Types.specification_class
]
I
id
[
Types.hlpsl_variable
]
id_to_string
[
Types.ident_table
]
ident_number
[
Types.ident_table
]
init_state
[
Types.generic_hlpsl_role
]
initial_state
[
Types.role_instance
]
is_an_atom
[
Intruder.box
]
K
knowledge
[
Types.generic_hlpsl_role
]
knowledge
[
Intruder.box
]
L
l
[
Intruder.box
]
l0
[
Intruder.box
]
l0_rec
[
Intruder.box
]
l_w
[
Intruder.box
]
label
[
Types.hlpsl_transition
]
lhs
[
Types.hlpsl_transition
]
lhs
[
Types.basic_if_rule
]
local
[
Types.generic_hlpsl_role
]
M
main_role
[
Types.specification_class
]
map_number
[
Types.memory_map_table
]
mem_map
[
Types.memory_map_table
]
N
name
[
Types.role_instance
]
name
[
Types.generic_hlpsl_role
]
O
owned
[
Types.generic_hlpsl_role
]
P
param
[
Types.generic_hlpsl_role
]
player
[
Types.basic_hlpsl_role
]
R
rhs
[
Types.hlpsl_transition
]
rhs
[
Types.basic_if_rule
]
role
[
Types.call_type
]
role_definitions_list
[
Types.specification_class
]
S
session_Id
[
Types.role_instance
]
set
[
Types.call_over_declaration
]
string_to_id
[
Types.ident_table
]
T
t
[
Types.call_over_declaration
]
t
[
Types.hlpsl_variable
]
tab
[
Types.type_table_type
]
to_id
[
Types.global_var_ident_table
]
V
value_map
[
Types.value_map_table
]
var_list
[
Types.basic_if_rule
]
var_number
[
Types.global_var_ident_table
]
variable_instances
[
Types.role_instance
]