// $id$
// Version: $name$
//
-// Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 by the deal.II authors
+// Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007 by the deal.II authors
//
// This file is subject to QPL and may not be distributed
// without copyright and license information. Please refer
#include <map>
#include <algorithm>
#include <cmath>
+#include <functional>
// for whatever reason, the random_shuffle function used below needs
// grid_reordering.cc,v 1.27 2002/05/28 07:43:22 wolf Exp
// Version:
//
-// Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006 by the deal.II authors
+// Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007 by the deal.II authors
//
// This file is subject to QPL and may not be distributed
// without copyright and license information. Please refer
#include <set>
#include <iostream>
#include <fstream>
+#include <functional>
DEAL_II_NAMESPACE_OPEN
#include <map>
#include <cmath>
#include <iostream>
+#include <functional>
+
#include <boost/array.hpp>
DEAL_II_NAMESPACE_OPEN
In the beginning the Universe was created. This has made a lot of
people very angry and has been widely regarded as a bad move.
Douglas Adams