Module Instantiation


module Instantiation: sig .. end
ignore (compute_assignation_list Base(Var(x#get_id)) x#get_id session_id session_id); Globals.global_var_id#unsafe_get_id_of session_id x#get_id *

val dummy_composition_role : Types.composition_role Pervasives.ref
val dummy_basic_hlpsl_role : Types.basic_hlpsl_role Pervasives.ref
val role_def_list : (int * Types.role_type) list Pervasives.ref
val basic_role_instances : (int * Types.role_instance) list Pervasives.ref
val instances_schema : Types.composition_schema Pervasives.ref
val goals : Types.goals_type list Pervasives.ref
val intruder_roles : int list Pervasives.ref
val make_sid_variable : int -> int -> int
val find_role : int -> Types.role_type
val find_generic_role : int -> Types.generic_hlpsl_role
val register_list_of_var : int -> int list -> int list
val filter_args : (Types.term_type -> bool) -> (int * 'a) list -> (int * 'a) list
val register_inst_local : int -> < get_id : int; .. > list -> int list
val new_to_old_mem_map : int list -> int list -> unit list
val played_by_intruder : < get_player : int; .. > -> int -> bool
val assign_set_value : Types.if_value_type list -> Types.if_value_type
val assign_value : int -> int -> Types.atoms_type Types.term_structure -> unit
val compute_knowledge_given_to_intruder : < get_knowledge : Types.atoms_type Types.term_structure list; .. > ->
int -> unit
val compute_assignment_list : int ->
('a * (int * Types.atoms_type Types.term_structure)) list ->
(bool * (int * Types.atoms_type Types.term_structure)) list
val compute_assignation_list : Types.atoms_type Types.term_structure list ->
int list -> int -> int -> (int * Types.atoms_type Types.term_structure) list
val extract_init_infos : Types.predicate list ->
int list * Types.term list *
(Types.atoms_type Types.term_structure * Types.term list) list
val compute_initial_infos : < get_init : Types.predicate list;
get_local : < get_id : int;
get_type : Types.basic_type Types.term_structure; .. >
list;
get_name : int; .. > ->
int -> int list
val get_set_if_value : int -> int -> Types.if_value_type
val ifpair_to_list : Types.if_value_type -> Types.if_value_type list
val unfold_instances : Types.composition_type -> Types.composition_schema
val string_of_instances : Types.composition_schema -> string
val call_instantiation : < get_goals : Types.goals_type list; get_main_role : Types.composition_type;
get_roles : Types.role_type list; .. > ->
Types.role_instance list