/**************/ /*Access_Lists*/ /**************/ **Before Integration** Arrêt de l'utilisation de List qui sous-entendait une list d'accesses => création d'access_Lists => modification de time_units.ads (sera généré prochainement) ok queueing_system-simulation.ads schedulers.ads ok scheduling_sequences.ads (ce sont des records contenant de unbounded_string => utilisation de la fonction copy définie pour ce package, est-ce la bonne approche ?) automaton.ads (généré automatiquement -> faire le lien avec Alain) ok boolean_utils.ads ok unbounded_strings.ads ok natural_util.ads ok double_util.ads => Ajout de Copy dans access_Lists => modification de la signature d'instanciation. la fonction de copie doit être générée. (Voir avec Alain pour la générer directement). Pour le moment : ajout manuel des fonctions. **Implied by integration** /framework/parametric/ adding the copy function in : boolean_util natural_util double_util scheduling_analysis : Generic_Index_Lst_Package, Deadlock_package scheduling_analysis-extended : Generic_Index_Lst /**********/ /*Sets.ads*/ /**********/ => modification de task_dependencies : ajout d'une méthode add_One_Task_Dependency