<node>

<node> codifica un nodo, un punto in un grafo a cui può essere assegnata un'etichetta 19.1 Graphs and Digraphs
Modulonets — 19 Graphs, Networks, and Trees
Attributi
valueassegna al nodo un valore, che può essere una struttura di tratti o altro elemento di analisi
Stato Opzionale
Tipo di dati

<rng:ref name="data.pointer"/>
data.pointer
Valori A valid identifier.
typedefinisce un tipo di nodo
Stato Opzionale
Tipo di dati

<rng:ref name="data.enumerated"/>
data.enumerated
I valori suggeriti includono:
initial
nodo iniziale in una rete di transizione
final
nodo finale in una rete di transizione
adjTo (adiacente a) assegna degli identificatori ai nodi adiacenti al nodo corrente
Stato Richiesto se applicabile
Tipo di dati 1–∞ occorrenze di

<rng:ref name="data.pointer"/>
data.pointer
separato da spazio bianco
Valori A list of identifiers.
adjFrom (non adiacente) assegna degli identificatori ai nodi non adiacenti al nodo corrente
Stato Richiesto se applicabile
Tipo di dati 1–∞ occorrenze di

<rng:ref name="data.pointer"/>
data.pointer
separato da spazio bianco
Valori A list of identifiers.
adj (adiacente) assegna degli identificatori ai nodi adiacenti e non adiacenti al nodo corrente
Stato Richiesto se applicabile
Tipo di dati 1–∞ occorrenze di

<rng:ref name="data.pointer"/>
data.pointer
separato da spazio bianco
Valori A list of identifiers.
inDegreeindica il grado in entrata del nodo, cioè il numero dei nodi non adiacenti al nodo stesso
Stato Opzionale
Tipo di dati

<rng:ref name="data.count"/>
data.count
Valori A non-negative integer.
outDegreeindica il grado in uscita del nodo, cioè il numero dei nodi adiacenti al nodo stesso
Stato Opzionale
Tipo di dati

<rng:ref name="data.count"/>
data.count
Valori A non-negative integer.
degreedefinisce il grado del nodo, cioè il numero degli archi incidenti al nodo
Stato Opzionale
Tipo di dati

<rng:ref name="data.count"/>
data.count
Valori A non-negative integer.
Usato da
Può contenere
core: label
Dichiarazione

<rng:element name="node">
<rng:ref name="att.global.attributes"/>
<rng:optional>
 <rng:attribute name="value">
  <rng:ref name="data.pointer"/>
 </rng:attribute>
</rng:optional>
<rng:optional>
 <rng:attribute name="type">
  <rng:choice>
   <rng:value>initial</rng:value>
   <rng:value>final</rng:value>
   <rng:data type="Name"/>
  </rng:choice>
 </rng:attribute>
</rng:optional>
<rng:optional>
 <rng:attribute name="adjTo">
  <rng:list>
   <rng:oneOrMore>
    <rng:ref name="data.pointer"/>
   </rng:oneOrMore>
  </rng:list>
 </rng:attribute>
</rng:optional>
<rng:optional>
 <rng:attribute name="adjFrom">
  <rng:list>
   <rng:oneOrMore>
    <rng:ref name="data.pointer"/>
   </rng:oneOrMore>
  </rng:list>
 </rng:attribute>
</rng:optional>
<rng:optional>
 <rng:attribute name="adj">
  <rng:list>
   <rng:oneOrMore>
    <rng:ref name="data.pointer"/>
   </rng:oneOrMore>
  </rng:list>
 </rng:attribute>
</rng:optional>
<rng:optional>
 <rng:attribute name="inDegree">
  <rng:ref name="data.count"/>
 </rng:attribute>
</rng:optional>
<rng:optional>
 <rng:attribute name="outDegree">
  <rng:ref name="data.count"/>
 </rng:attribute>
</rng:optional>
<rng:optional>
 <rng:attribute name="degree">
  <rng:ref name="data.count"/>
 </rng:attribute>
</rng:optional>
<rng:optional>
 <rng:ref name="label"/>
 <rng:optional>
  <rng:ref name="label"/>
 </rng:optional>
</rng:optional>
</rng:element>
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? )?
}
Esempio
<node
  xml:id="t6"
  type="final"
  inDegree="2"
  outDegree="0">

 <label>6</label>
</node>