bonjour à tous,
Travaillant sur la gestion d'automate en Java, j'ai trouvé une commande pour creer un gif à partir d'un fichier.
Exemple du fichier : tmp001.dot
Citation :
digraph {
rankdir=LR;
init [shape=point];
init->0;
0 [shape=circle];
1 [shape=circle];
2 [shape=circle];
3 [shape=doublecircle];
0->1[label="i"];
1->2[label="s"];
2->3[label="a"];
}
|
La commande linux : dot -Tgif -o tmp00.gif tmp00.dot && xv tmp00.gif
Et la magie :
Voila en gros ce que je veux faire mais sous windows, j'espere etre au bon endroit
Merci d'avance pour votre aide !