Utiliser les differents programmes

Verification en mode console

Pour verifier rapidement un graph enregistre au format MGL, il suffit d'utiliser le script kfaultVerification suivie d'un nom de fichier. Le script utilise la classe SKfault qui transforme un graph en bipartie puis lance une verification.
Exemple d'utilisation :
./kfaultVerification test/julien/12-6Kernel.mgl

Interface graphique

L'interface graphique permet d'editer, modifier et creer de nouveau graph. On peut aussi transformer des graphs en graphs biparties, faire la transformation inverse et lancer la verification du graph. Pour lancer l'interface graphique, il suffit d'utiliser le script kfaultEditor. Voici une rapide explication de comment utiliser l'interface grahique.

• Creer un noeud
  Pour creer un noeud, il suffit de selectionner le type de noeud voulu dans la fenetre du haut et de cliquer sur la fenetre de visualisation.
• Supprimer un noeud
  il faut activer le bouton remove et cliquer sur le noeud a enlever.
• Creer un lien
  Il faut cliquer sur un noeud deja existant (sans etre dans le mode remove), un trait apparait et suit la fleche. En cliquant sur un autre noeud, on creer un lien entre ces deux noeuds, le trait est toujours present, on peut creer plusieurs liens la suite. Un clik gauche de la souris, arrette la creation de liens.
• Sauvegarder, charger un graph
  Toutes ces commandes sont accessible depuis le menu fichier.
• Effectuer les transformations et la verification
  Tout est accessible depuis le menu Bipartie

C'etait un rapide resume des differentes commandes pour utiliser l'interface graphique. Il faut aussi faire attention au "mode" dans lequels vous etes. Au debut, vous etes en mode graph, qui empeche de mettre trop de liens sur un noeuds et qui fait plusieurs verification. Quand vous utilisez la commande Graph to bipartie, vous passez en mode bipartie. Il est bien sur toujours interdit de mettre trop de liens a un switchs, mais on peut rajouter autant de liens que l'on veut aux blocks.