<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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
En complément des attributs globaux |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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.
|