src/xbt/graphxml.dtd

   1 <!-- Small DTD for xbt graphs. -->
   2 <!ELEMENT graph ((node)*,(edge)*)>
   3 <!ATTLIST graph
   4     isDirected (true|false) "true"
   5 >
   6 <!ELEMENT node EMPTY>
   7 <!ATTLIST node
   8     label           CDATA                ""
   9     name            CDATA                #REQUIRED
  10     data            CDATA                ""
  11     position_x      CDATA                "-1.0"
  12     position_y      CDATA                "-1.0"
  13 >
  14
  15 <!ELEMENT edge EMPTY>
  16 <!ATTLIST edge
  17     label           CDATA                ""
  18     name            CDATA               #IMPLIED
  19     source          CDATA               #REQUIRED
  20     target          CDATA               #REQUIRED
  21     length          CDATA               "-1.0"
  22     data            CDATA               ""
  23 >