<node>
<node> (noeud) encode un noeud, c'est-à-dire un sommet, étiqueté ou non, dans un graphe. 19.1 Graphs and Digraphs | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Module | nets — 19 Graphs, Networks, and Trees | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Attributs |
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Utilisé par | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Peut contenir | core: label | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Declaration |
element node { att.global.attributes, attribute value { data.pointer }?, attribute type { "initial" | "final" | xsd:Name }?, attribute adjTo { list { data.pointer+ } }?, attribute adjFrom { list { data.pointer+ } }?, attribute adj { list { data.pointer+ } }?, attribute inDegree { data.count }?, attribute outDegree { data.count }?, attribute degree { data.count }?, ( label, label? )? } | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Exemple | <node xml:id="t6" type="final" inDegree="2" outDegree="0"> <label>6</label> </node> | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Note | Peuvent être présents aucun, un ou deux éléments enfants label. La première
occurrence de l'élément label fournit une étiquette pour l'arc ; la seconde
occurrence fournit une deuxième étiquette pour l'arc et doit être utilisée si l'on
encode un transducteur dont les actions sont associées avec des noeuds plutôt
qu'avec des arcs. |