d4/dfd/initialize_8h_source.html

#pragma once


#include "storm/utility/logging.h"


namespace storm {

namespace utility {

void initializeLogger();

void setUp();


void cleanUp();


void setOutputDigitsFromGeneralPrecision(double precision);


l3pp::LogLevel getLogLevel();


void setLogLevel(l3pp::LogLevel level);


void initializeFileLogging(std::string const& logfileName);


}  // namespace utility

}  // namespace storm

logging.h

storm::utility::initializeLogger
void initializeLogger()
Initializes the logging framework and sets up logging to console.
Definition initialize.cpp:10

storm::utility::initializeFileLogging
void initializeFileLogging(std::string const &logfileName)
Sets up the logging to file.
Definition initialize.cpp:68

storm::utility::cleanUp
void cleanUp()
Performs some necessary clean-up.
Definition initialize.cpp:37

storm::utility::setLogLevel
void setLogLevel(l3pp::LogLevel level)
Set the global log level.
Definition initialize.cpp:59

storm::utility::setUp
void setUp()
Performs some necessary initializations.
Definition initialize.cpp:32

storm::utility::setOutputDigitsFromGeneralPrecision
void setOutputDigitsFromGeneralPrecision(double precision)
Set number of digits for printing output from given precision requirement.
Definition initialize.cpp:41

storm::utility::getLogLevel
l3pp::LogLevel getLogLevel()
Gets the global log level.
Definition initialize.cpp:55

storm
LabParser.cpp.
Definition AutomaticSettings.cpp:13