-/// Output a Dot edge.
-/// \param source id of the source node
-/// \param destination id of the target node
-/// \param label human readable label of the edge
-/// (no Dot escaping needed). Can be 0.
-/// \param style Dot style of the edge (e.g., "dotted" or "solid").
-/// \param fout output stream.
+/** Output a Dot edge.
+ * \param source id of the source node
+ * \param destination id of the target node
+ * \param label human readable label of the edge
+ * (no Dot escaping needed). Can be 0.
+ * \param style Dot style of the edge (e.g., "dotted" or "solid").
+ * \param fout output stream.
+ */