From 9f22c8ae11af0199f7f30bd30a2a608e4ace6911 Mon Sep 17 00:00:00 2001 From: Iovka Boneva <iovka.boneva@univ-lille.fr> Date: Thu, 17 Feb 2022 11:10:15 +0100 Subject: [PATCH] Update grapp-yaml.md --- doc/grapp-yaml.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/grapp-yaml.md b/doc/grapp-yaml.md index df3979c..560302a 100644 --- a/doc/grapp-yaml.md +++ b/doc/grapp-yaml.md @@ -32,7 +32,7 @@ edges: On doit spécifier: - `type:` le type de graphe, obligatoire. Les valeurs valides sont celles énumérées plus haut. -- `name:` un nom pour le graphe, obligatoire. C'est n'importe quelle chaine de caractères sans espaces. +- `name:` un nom pour le graphe, obligatoire. C'est une chaine de caractères sans espaces. - `nodes:` l'ensemble des sommets du graphe, obligatoire. Chaque sommet est une chaine de caractères sans espaces et les sommets sont énumérés entre crochets, séparés par des virgules. - `edges:` les arêtes par liste d'adjacence, obligatoire. On doit énumérer tous les sommets, et pour chaque sommet on énumère ses successeurs entre crochets. -- GitLab