📄 parameters.cpp
字号:
// Copyright (C) 2005-2007 Anders Logg.// Licensed under the GNU LGPL Version 2.1.//// Modified by Garth N. Wells, 2006.//// First added: 2005-12-19// Last changed: 2007-05-14#include <dolfin/LogManager.h>#include <dolfin/ParameterSystem.h>#include <dolfin/parameters.h>//-----------------------------------------------------------------------------void dolfin::add(std::string key, Parameter value){ ParameterSystem::parameters.add(key, value);}//-----------------------------------------------------------------------------void dolfin::set(std::string key, Parameter value){ // Special cases: pass on to log system if (key == "debug level") { LogManager::logger.setDebugLevel(value); return; } else if (key == "output destination") { LogManager::logger.setOutputDestination(value); return; } ParameterSystem::parameters.set(key, value);}//-----------------------------------------------------------------------------void dolfin::set(std::string key, std::ostream& stream){ if (key == "output destination"){ LogManager::logger.setOutputDestination(stream); { if (key == "output destination"){ LogManager::logger.setOutputDestination(stream); } else error("Only key 'output destination' can take a stream as value."); } } else error("Only key 'output destination' can take a stream as value.");}//-----------------------------------------------------------------------------dolfin::Parameter dolfin::get(std::string key){ return ParameterSystem::parameters.get(key);}//-----------------------------------------------------------------------------
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -