/**
* /// Dump the Lattice as a .LAT file
*
* /// @param out
* /// @throws IOException
*/
protected void dump(StreamWriter _out)
{
//System.err.println( "Dumping to " + out );
foreach (Node node in nodes.Values)
{
node.dump(_out);
}
foreach (Edge edge in edges)
{
edge.dump(_out);
}
_out.WriteLine("initialNode: " + initialNode.getId());
_out.WriteLine("terminalNode: " + terminalNode.getId());
_out.WriteLine("logBase: " + logMath.getLogBase());
_out.Flush();
}