let get_set_if_value session_id set_var =
let set_var_term = (get_if_value_type session_id (Base(Var(set_var)))) in
let set_pointer_string_id =
match set_var_term with
If_const (x) -> x
| _ ->
(displayWarning 0
("Instantiation.get_set_if_value: trying to get the value of an uninitialized set: "
^(Interface.term_to_string (Base(Var(set_var))))
^" = "
^(Interface.ground_if_value_to_string set_var_term));
raise Not_found)
in
let set_pointer_gid = global_var_id#get_id_of 0 set_pointer_string_id in
let set_pointer_mmap_id = memory_map#get_map set_pointer_gid in
value_table#get_value set_pointer_mmap_id