void StateGraph::writeDOT(const SubDigraph& T, const ArcList& F, std::ostream& out) const
{
out << "digraph S {" << std::endl;
for (SubNodeIt v(T); v != lemon::INVALID; ++v)
{
out << "\t" << T.id(v) << " [label=\"("
<< _x[v] << "," << _y[v] << ","
<< _xbar[v] << "," << _ybar[v] << ")\"]" << std::endl;
}
for (ArcListIt it = F.begin(); it != F.end(); ++it)
{
Arc st = *it;
Node t = _G.target(st);
out << "\t" << T.id(t) << " [label=\"("
<< _x[t] << "," << _y[t] << ","
<< _xbar[t] << "," << _ybar[t] << ")\",color=red]" << std::endl;
}
for (SubArcIt a(T); a != lemon::INVALID; ++a)
{
out << "\t" << T.id(T.source(a)) << " -> " << T.id(T.target(a)) << std::endl;
}
for (ArcListIt it = F.begin(); it != F.end(); ++it)
{
Arc st = *it;
out << "\t" << _G.id(_G.source(st)) << " -> " << _G.id(_G.target(st)) << " [color=red]" << std::endl;
}
out << "}" << std::endl;
}
void StateGraph::writeDOT(const SubDigraph& T, std::ostream& out) const
{
out << "digraph S {" << std::endl;
for (SubNodeIt v(T); v != lemon::INVALID; ++v)
{
out << "\t" << T.id(v) << " [label=\"("
<< _x[v] << "," << _y[v] << ","
<< _xbar[v] << "," << _ybar[v] << ")\"]" << std::endl;
}
for (SubArcIt a(T); a != lemon::INVALID; ++a)
{
out << "\t" << T.id(T.source(a)) << " -> " << T.id(T.target(a)) << std::endl;
}
out << "}" << std::endl;
}
