equal
deleted
inserted
replaced
44 while a quoted token is a |
44 while a quoted token is a |
45 character sequence surrounded by double quotes, and it can also |
45 character sequence surrounded by double quotes, and it can also |
46 contain whitespaces and escape sequences. |
46 contain whitespaces and escape sequences. |
47 |
47 |
48 The \c \@nodes section describes a set of nodes and associated |
48 The \c \@nodes section describes a set of nodes and associated |
49 maps. The first is a header line, it columns are the names of the |
49 maps. The first is a header line, its columns are the names of the |
50 maps appearing in the following lines. |
50 maps appearing in the following lines. |
51 One of the maps must be called \c |
51 One of the maps must be called \c |
52 "label", which plays special role in the file. |
52 "label", which plays special role in the file. |
53 The following |
53 The following |
54 non-empty lines until the next section describes nodes of the |
54 non-empty lines until the next section describes nodes of the |
62 2 (80,80) 8 "Second node" |
62 2 (80,80) 8 "Second node" |
63 3 (40,10) 10 "Third node" |
63 3 (40,10) 10 "Third node" |
64 \endcode |
64 \endcode |
65 |
65 |
66 The \c \@arcs section is very similar to the \c \@nodes section, |
66 The \c \@arcs section is very similar to the \c \@nodes section, |
67 it again starts with a header line describing the names of the arc, |
67 it again starts with a header line describing the names of the maps, |
68 but the \c "label" map is not obligatory here. The following lines |
68 but the \c "label" map is not obligatory here. The following lines |
69 describe the arcs. The first two tokens of each line are |
69 describe the arcs. The first two tokens of each line are |
70 the source and the target node of the arc, respectively, then come the map |
70 the source and the target node of the arc, respectively, then come the map |
71 values. The source and target tokens must be node labels. |
71 values. The source and target tokens must be node labels. |
72 |
72 |