Package geneSyst

Class Summary
ClasseEquivalenceEtats  
ConfigurationGeneSyst  
geneSyst La classe geneSyst permet de g�n�rer l'automate comportemental exacte d'une sp�cification B événementielle et de son premier raffinement.
GestionFormatIntermediaire Cette classe définie une structure de données pour la mise en mémoire des traces avec les méthodes KiVontBien pour sauvegarder ou lire les données depuis un fichier.
GFI_Datas Cette classe d�finie une structure de donn�es pour la mise en m�moire des traces avec les m�thodes KiVontBien pour sauvegarder ou lire les donn�es depuis un fichier.
GFI_Exportation Cette classe définie une structure de donn�es pour la mise en mémoire des traces avec les méthodes KiVontBien pour exporter les données vers un fichier graphique ou de format intermédiaire.
GFI_Parseur Cette classe définie un parseur pour charger la structure de données depuis un fichier.
GFI_PostTraitement  
interfacageAB Classe permettant d'utiliser l'atelier B.
MethodesNonFonctionnelles Quelques méthodes Indépendantes du fonctionnement de genesyst et permettant d'alleger le fichier de cette dernière classe.
MethodesPMI Titre : Méthodes D'accès à un fichier PMI Description : Ensemble de méthodes permettant de parser un fichier PMI Copyright : Copyright (c) 2004
Nettoyer description de la classe de traitement progB -(analyseur Tatibouet)> 1 liste chainée ->1 noeud -programme du noeud -calcule les transitions -sortie : fichier content les transition dans le corps de l'assertion - plus l'assertion d'origine
PreuveAB_tmp  
PrintWriterGeneSyst  
ResultatAnalyse  
 

Exception Summary
ErreurException