#include "InputDataStreamPort.hxx"
#include "OutputDataStreamPort.hxx"
#include <iostream>
+#include <fstream>
//#define _DEVDEBUG_
#include "YacsTrace.hxx"
os << getQualifiedName() <<"\"];\n";
}
+void Node::writeDotInFile(const std::string& fileName) const
+{
+ std::ofstream f(fileName);
+ this->writeDot(f);
+}
+
//! same as Node::getName() in most cases, but differs for children of switch
/*!
* used by writeDot to distinguish children of switch, by adding a prefix to the name.