8#include <QtCore/qtextstream.h>
21 out <<
"subgraph Includes {" <<
Qt::endl;
27 out <<
"\t\"(" << aut->
id (incl->data.state) <<
", " << incl->data.nt <<
")\"";
29 out <<
"\"(" << aut->
id ((*edge)->data.state) <<
", " << (*edge)->data.nt <<
")\"\t";
30 out <<
"[label=\"" << incl->data.state->follows [incl->data.nt] <<
"\"]";
44 out <<
"\t" <<
state <<
"\t[shape=record,label=\"{";
46 out <<
"<0> State " <<
state;
54 for (Bundle::iterator
a =
q->bundle.begin ();
a !=
q->bundle.end (); ++
a)
56 const char *clr =
g->isTerminal (
a.key ()) ?
"blue" :
"red";
57 out <<
"\t" <<
state <<
"\t->\t" << aut->
id (*
a) <<
"\t[color=\"" << clr <<
"\",label=\"" <<
a.key () <<
"\"]" <<
Qt::endl;
void operator()(Automaton *a)
DotGraph(QTextStream &out)
static iterator begin_nodes()
std::list< iterator >::iterator edge_iterator
Repository::iterator iterator
static iterator end_nodes()
ItemList::iterator ItemPointer
StateList::iterator StatePointer
QTextStream & endl(QTextStream &stream)
Writes '\n' to the stream and flushes the stream.
GLboolean GLboolean GLboolean GLboolean a
[7]
GLdouble GLdouble GLdouble GLdouble q
QTextStream out(stdout)
[7]