4. Vérification - Exécution#
4.1. Opérande MATER_USURE#
On vérifie que le couple de matériaux fourni par l’utilisateur se trouve dans la base de données.
4.2. Opérandes RESU_GENE / INST_INIT / INST_FIN / NB_BLOC#
La valeur de INST_FIN est comparée à l’instant final \({t}_{f}\) du résultat tran_gene. La valeur de INST_FIN retenue est \(\min({t}_{f},{t}_{1})\) .
Si la valeur de INST_INIT \({t}_{0}\) est supérieure à la valeur de INST_FIN, on s’arrête en erreur.
