bop :Il s'agit de l'optimiseur de description comportementale. Il prend en entrée un fichier 'vbe' et sort un fichier 'vbe'. Ses options sont:dans l'exemple:-o : mode d'optimisation global
-l : mode d'optimisation localla commande :remarque:bop -o addaccu addoptprend le fichier addaccu.vbe en entrée, et produit l'optimisation globale dont le résultat se trouve dans addopt.vbe .bop peut prendre un troisième fichier en paramètre. Ce fichier est un fichier texte de type lax et permet de fournir une certaine quantité d'informations d'optimisation. Les options par défaut sont suffisantes donc nous n'utilisons pas ces fichiers. Mais pour tout renseignement, la commande "man lax" décrit exhaustivement le format.
|
|
|