private static void traverseDOT(Node n, BufferedWriter out)
			throws IOException {

		if (n.parent != null) {

			out.write(Integer.toString(n.nodeNum));
			out.write(" -> ");
			out.write(Integer.toString(n.parent.nodeNum) + ";");

		}

		for (Node child : n.children) {
			traverseDOT(child, out);
		}

	}