|
00001 // Copyright (C) 2003 Johan Hoffman and Anders Logg. 00002 // Licensed under the GNU GPL Version 2. 00003 00004 #ifndef __SETTINGS_MANAGER_H 00005 #define __SETTINGS_MANAGER_H 00006 00007 #include <dolfin/Settings.h> 00008 00009 namespace dolfin { 00010 00011 class SettingsManager { 00012 public: 00013 00014 static Settings settings; 00015 00016 }; 00017 00018 } 00019 00020 #endif
Documentation automatically generated with Doxygen on 10 Sep 2004.