From 94f46568d5e436dbab158def1a7ace6ca22a0fb8 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 16 Dec 2012 20:14:52 +0100
Subject: [PATCH 1/3] adding default value for trigger options

trigger options get the value of the trigger that was registered first as default value.
---
 src/utility/settings.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/utility/settings.cpp b/src/utility/settings.cpp
index e22e72eaa..1414d8ece 100644
--- a/src/utility/settings.cpp
+++ b/src/utility/settings.cpp
@@ -67,7 +67,7 @@ Settings::Settings(const int argc, const char* argv[], const char* filename)
 			str << "select " << it.first << " module (" << boost::algorithm::join(it.second, ", ") << ")";
 			
 			Settings::desc->add_options()
-				(it.first.c_str(), bpo::value<std::string>(), str.str().c_str())
+				(it.first.c_str(), bpo::value<std::string>()->default_value(it.second.front()), str.str().c_str())
 			;
 		}
 		
@@ -143,7 +143,6 @@ void Settings::initDescriptions()
 		("test-prctl", bpo::value<std::string>(), "name of prctl file")
 		("trafile", bpo::value<std::string>()->required(), "name of the .tra file")
 		("labfile", bpo::value<std::string>()->required(), "name of the .lab file")
-		("matrixlib", bpo::value<std::string>()->default_value("gmm++"), "name of the matrix library")
 	;
 }
 

From 6a720709a51e49b089e9ab6f28611c2e1c4c7274 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 16 Dec 2012 20:43:18 +0100
Subject: [PATCH 2/3] refactored opening braces in settings classes

---
 src/utility/settings.cpp | 66 ++++++++++++++--------------------------
 src/utility/settings.h   | 11 +++----
 2 files changed, 26 insertions(+), 51 deletions(-)

diff --git a/src/utility/settings.cpp b/src/utility/settings.cpp
index 1414d8ece..bd3044e7e 100644
--- a/src/utility/settings.cpp
+++ b/src/utility/settings.cpp
@@ -42,11 +42,9 @@ std::map< std::pair<std::string, std::string>, std::shared_ptr<bpo::options_desc
  *	@param argv should be argv passed to main function
  *	@param filename	either nullptr or name of config file
  */
-Settings::Settings(const int argc, const char* argv[], const char* filename)
-{
+Settings::Settings(const int argc, const char* argv[], const char* filename) {
 	Settings::binaryName = std::string(argv[0]);
-	try
-	{
+	try {
 		// Initially fill description objects
 		this->initDescriptions();
 
@@ -57,12 +55,10 @@ Settings::Settings(const int argc, const char* argv[], const char* filename)
 		// Check module triggers, add corresponding options
 		std::map< std::string, std::list< std::string > > options;
 		
-		for (auto it : Settings::modules)
-		{
+		for (auto it : Settings::modules) {
 			options[it.first.first].push_back(it.first.second);
 		}
-		for (auto it : options)
-		{
+		for (auto it : options) {
 			std::stringstream str;
 			str << "select " << it.first << " module (" << boost::algorithm::join(it.second, ", ") << ")";
 			
@@ -77,13 +73,10 @@ Settings::Settings(const int argc, const char* argv[], const char* filename)
 		// Buffer for items to be deleted
 		std::list< std::pair< std::string, std::string > > deleteQueue;
 		// Check module triggers
-		for (auto it : Settings::modules)
-		{
+		for (auto it : Settings::modules) {
 			std::pair< std::string, std::string > trigger = it.first;
-			if (this->vm.count(trigger.first))
-			{
-				if (this->vm[trigger.first].as<std::string>().compare(trigger.second) == 0)
-				{
+			if (this->vm.count(trigger.first)) {
+				if (this->vm[trigger.first].as<std::string>().compare(trigger.second) == 0) {
 					Settings::desc->add(*it.second);
 					deleteQueue.push_back(trigger);
 				}
@@ -93,8 +86,7 @@ Settings::Settings(const int argc, const char* argv[], const char* filename)
 		
 		
 		// Stop if help is set
-		if (this->vm.count("help") > 0)
-		{
+		if (this->vm.count("help") > 0) {
 			return;
 		}
 		
@@ -105,25 +97,20 @@ Settings::Settings(const int argc, const char* argv[], const char* filename)
 		bpo::notify(this->vm);
 		LOG4CPLUS_DEBUG(logger, "Finished loading config.");
 	}
-	catch (bpo::reading_file e)
-	{
+	catch (bpo::reading_file e) {
 		std::cerr << "Could not read config file " << filename << std::endl;
 		LOG4CPLUS_ERROR(logger, "Could not read config file");
 	}
-	catch (bpo::required_option e)
-	{
+	catch (bpo::required_option e) {
 		throw mrmc::exceptions::InvalidSettings() << "Required option missing";
 	}
-	catch (bpo::validation_error e)
-	{
+	catch (bpo::validation_error e) {
 		throw mrmc::exceptions::InvalidSettings() << "Validation failed: " << e.what();
 	}
-	catch (bpo::invalid_command_line_syntax e)
-	{
+	catch (bpo::invalid_command_line_syntax e) {
 		throw mrmc::exceptions::InvalidSettings() << e.what();
 	}
-	catch (bpo::error e)
-	{
+	catch (bpo::error e) {
 		throw mrmc::exceptions::InvalidSettings() << e.what();
 	}
 }
@@ -132,8 +119,7 @@ Settings::Settings(const int argc, const char* argv[], const char* filename)
  *	Initially fill options_description objects.
  *	First puts some generic options, then calls all register Callbacks.
  */
-void Settings::initDescriptions()
-{
+void Settings::initDescriptions() {
 	LOG4CPLUS_DEBUG(logger, "Initializing descriptions.");
 	Settings::desc = std::unique_ptr<bpo::options_description>(new bpo::options_description("Generic Options"));
 	Settings::desc->add_options()
@@ -151,8 +137,7 @@ void Settings::initDescriptions()
  *	given), but allow for unregistered options, do not check requirements
  *	from options_description objects, do not check positional arguments.
  */
-void Settings::firstRun(const int argc, const char* argv[], const char* filename)
-{
+void Settings::firstRun(const int argc, const char* argv[], const char* filename) {
 	LOG4CPLUS_DEBUG(logger, "Performing first run.");
 	// parse command line
 	bpo::store(bpo::command_line_parser(argc, argv).options(*(Settings::desc)).allow_unregistered().run(), this->vm);
@@ -160,12 +145,10 @@ void Settings::firstRun(const int argc, const char* argv[], const char* filename
 	/*
 	 *	load config file if specified
 	 */
-	if (this->vm.count("configfile"))
-	{
+	if (this->vm.count("configfile")) {
 		bpo::store(bpo::parse_config_file<char>(this->vm["configfile"].as<std::string>().c_str(), *(Settings::desc)), this->vm, true);
 	}
-	else if (filename != NULL)
-	{
+	else if (filename != NULL) {
 		bpo::store(bpo::parse_config_file<char>(filename, *(Settings::desc)), this->vm, true);
 	}
 }
@@ -175,20 +158,17 @@ void Settings::firstRun(const int argc, const char* argv[], const char* filename
  *	given) and check for unregistered options, requirements from
  *	options_description objects and positional arguments.
  */
-void Settings::secondRun(const int argc, const char* argv[], const char* filename)
-{
+void Settings::secondRun(const int argc, const char* argv[], const char* filename) {
 	LOG4CPLUS_DEBUG(logger, "Performing second run.");
 	// Parse command line
 	bpo::store(bpo::command_line_parser(argc, argv).options(*(Settings::desc)).positional(this->positional).run(), this->vm);
 	/*
 	 *	load config file if specified
 	 */
-	if (this->vm.count("configfile"))
-	{
+	if (this->vm.count("configfile")) {
 		bpo::store(bpo::parse_config_file<char>(this->vm["configfile"].as<std::string>().c_str(), *(Settings::desc)), this->vm, true);
 	}
-	else if (filename != NULL)
-	{
+	else if (filename != NULL) {
 		bpo::store(bpo::parse_config_file<char>(filename, *(Settings::desc)), this->vm, true);
 	}
 }
@@ -201,12 +181,10 @@ void Settings::secondRun(const int argc, const char* argv[], const char* filenam
  *	Use it like this:
  *	@code std::cout << mrmc::settings::help; @endcode
  */
-std::ostream& help(std::ostream& os)
-{
+std::ostream& help(std::ostream& os) {
 	os << "Usage: " << mrmc::settings::Settings::binaryName << " [options] <transition file> <label file>" << std::endl;
 	os << *(mrmc::settings::Settings::desc) << std::endl;
-	for (auto it : Settings::modules)
-	{
+	for (auto it : Settings::modules) {
 		os << *(it.second) << std::endl;
 	}
 	return os;
diff --git a/src/utility/settings.h b/src/utility/settings.h
index d7387392d..69cb0be92 100644
--- a/src/utility/settings.h
+++ b/src/utility/settings.h
@@ -106,13 +106,12 @@ namespace settings {
 			 *	@endcode
 			 */
 			template <typename T>
-			static void registerModule()
-			{
+			static void registerModule() {
 				// get trigger
 				std::pair< std::string, std::string > trigger = T::getOptionTrigger();
 				// build description name
 				std::stringstream str;
-				str << T::getModuleName() << " (" << trigger.first << " = " << trigger.second << ")";
+				str << "Options for " << T::getModuleName() << " (" << trigger.first << " = " << trigger.second << ")";
 				std::shared_ptr<bpo::options_description> desc = std::shared_ptr<bpo::options_description>(new bpo::options_description(str.str()));
 				// but options
 				T::putOptions(desc.get());
@@ -187,8 +186,7 @@ namespace settings {
 	 *
 	 *	@return The current instance of Settings created by newInstance().
 	 */
-	inline Settings* instance()
-	{
+	inline Settings* instance() {
 		return Settings::inst;
 	}
 	
@@ -202,8 +200,7 @@ namespace settings {
 	 *  @param filename either NULL or name of config file
 	 *	@return The new instance of Settings.
 	 */
-	inline Settings* newInstance(const int argc, const char* argv[], const char* filename)
-	{
+	inline Settings* newInstance(const int argc, const char* argv[], const char* filename) {
 		if (Settings::inst != nullptr) delete Settings::inst;
 		Settings::inst = new Settings(argc, argv, filename);
 		return Settings::inst;

From 64bf554cad67ab08ebfb02e8a586b56f093dff40 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 16 Dec 2012 20:48:16 +0100
Subject: [PATCH 3/3] some more reformatting

---
 src/parser/parser.cpp      | 38 +++++++++++---------------------
 src/parser/parser.h        |  6 ++----
 src/parser/readLabFile.cpp | 44 ++++++++++++--------------------------
 src/parser/readLabFile.h   |  6 ++----
 src/parser/readTraFile.cpp | 15 +++++--------
 src/parser/readTraFile.h   |  6 ++----
 src/utility/settings.cpp   |  6 ++----
 7 files changed, 40 insertions(+), 81 deletions(-)

diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 9e5558291..f5295f71f 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -27,11 +27,9 @@ extern log4cplus::Logger logger;
  *	@param end New pointer will be written there
  *	@return Result of strtol()
  */
-uint_fast64_t mrmc::parser::Parser::checked_strtol(const char* str, char** end)
-{
+uint_fast64_t mrmc::parser::Parser::checked_strtol(const char* str, char** end) {
 	uint_fast64_t res = strtol(str, end, 10);
-	if (str == *end)
-	{
+	if (str == *end) {
 		LOG4CPLUS_ERROR(logger, "Error while parsing integer. Next input token is not a number.");
 		LOG4CPLUS_ERROR(logger, "\tUpcoming input is: \"" << std::string(str, 0, 16) << "\"");
 		throw mrmc::exceptions::wrong_file_format();
@@ -45,8 +43,7 @@ uint_fast64_t mrmc::parser::Parser::checked_strtol(const char* str, char** end)
  *	@param buf String buffer
  *	@return	pointer to first non-whitespace character
  */
-char* mrmc::parser::Parser::skipWS(char* buf)
-{
+char* mrmc::parser::Parser::skipWS(char* buf) {
 	while ((*buf == ' ') || (*buf == '\t') || (*buf == '\n') || (*buf == '\r')) buf++;
 	return buf;
 }
@@ -57,33 +54,29 @@ char* mrmc::parser::Parser::skipWS(char* buf)
  *	and a log entry is written.
  *	@param filename file to be opened
  */
-mrmc::parser::MappedFile::MappedFile(const char* filename)
-{
+mrmc::parser::MappedFile::MappedFile(const char* filename) {
 #if defined LINUX || defined MACOSX
 	/*
 	 *	Do file mapping for reasonable systems.
 	 *	stat64(), open(), mmap()
 	 */
 #ifdef MACOSX
-	if (stat(filename, &(this->st)) != 0)
+	if (stat(filename, &(this->st)) != 0) {
 #else
-	if (stat64(filename, &(this->st)) != 0)
+	if (stat64(filename, &(this->st)) != 0) {
 #endif
-	{
 		LOG4CPLUS_ERROR(logger, "Error in stat(" << filename << ").");
 		throw exceptions::file_IO_exception("mrmc::parser::MappedFile Error in stat()");
 	}
 	this->file = open(filename, O_RDONLY);
 
-	if (this->file < 0)
-	{
+	if (this->file < 0) {
 		LOG4CPLUS_ERROR(logger, "Error in open(" << filename << ").");
 		throw exceptions::file_IO_exception("mrmc::parser::MappedFile Error in open()");
 	}
 			
 	this->data = (char*) mmap(NULL, this->st.st_size, PROT_READ, MAP_PRIVATE, this->file, 0);
-	if (this->data == (char*)-1)
-	{
+	if (this->data == (char*)-1) {
 		close(this->file);
 		LOG4CPLUS_ERROR(logger, "Error in mmap(" << filename << ").");
 		throw exceptions::file_IO_exception("mrmc::parser::MappedFile Error in mmap()");
@@ -94,30 +87,26 @@ mrmc::parser::MappedFile::MappedFile(const char* filename)
 	 *	Do file mapping for windows.
 	 *	_stat64(), CreateFile(), CreateFileMapping(), MapViewOfFile()
 	 */
-	if (_stat64(filename, &(this->st)) != 0)
-	{
+	if (_stat64(filename, &(this->st)) != 0) {
 		LOG4CPLUS_ERROR(logger, "Error in _stat(" << filename << ").");
 		throw exceptions::file_IO_exception("mrmc::parser::MappedFile Error in stat()");
 	}
 		
 	this->file = CreateFileA(filename, GENERIC_READ, 0, NULL, OPEN_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);
-	if (this->file == INVALID_HANDLE_VALUE)
-	{
+	if (this->file == INVALID_HANDLE_VALUE) {
 		LOG4CPLUS_ERROR(logger, "Error in CreateFileA(" << filename << ").");
 		throw exceptions::file_IO_exception("mrmc::parser::MappedFile Error in CreateFileA()");
 	}
 			
 	this->mapping = CreateFileMappingA(this->file, NULL, PAGE_READONLY, (DWORD)(st.st_size >> 32), (DWORD)st.st_size, NULL);
-	if (this->mapping == NULL)
-	{
+	if (this->mapping == NULL) {
 		CloseHandle(this->file);
 		LOG4CPLUS_ERROR(logger, "Error in CreateFileMappingA(" << filename << ").");
 		throw exceptions::file_IO_exception("mrmc::parser::MappedFile Error in CreateFileMappingA()");
 	}
 			
 	this->data = static_cast<char*>(MapViewOfFile(this->mapping, FILE_MAP_READ, 0, 0, this->st.st_size));
-	if (this->data == NULL)
-	{
+	if (this->data == NULL) {
 		CloseHandle(this->mapping);
 		CloseHandle(this->file);
 		LOG4CPLUS_ERROR(logger, "Error in MapViewOfFile(" << filename << ").");
@@ -130,8 +119,7 @@ mrmc::parser::MappedFile::MappedFile(const char* filename)
 /*!
  *	Will unmap the data and close the file.
  */
-mrmc::parser::MappedFile::~MappedFile()
-{
+mrmc::parser::MappedFile::~MappedFile() {
 #if defined LINUX || defined MACOSX
 	munmap(this->data, this->st.st_size);
 	close(this->file);
diff --git a/src/parser/parser.h b/src/parser/parser.h
index 78b8dd890..0950ed848 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -52,8 +52,7 @@ namespace parser {
 	#error Platform not supported
 #endif
 	 
-	class MappedFile
-	{
+	class MappedFile {
 		private:
 #if defined LINUX || defined MACOSX
 			/*!
@@ -104,8 +103,7 @@ namespace parser {
 		~MappedFile();
 	};
 	
-	class Parser
-	{
+	class Parser {
 		protected:
 			/*!
 			 *	@brief Parses integer and checks, if something has been parsed.
diff --git a/src/parser/readLabFile.cpp b/src/parser/readLabFile.cpp
index 3ef488373..3b195eb6d 100644
--- a/src/parser/readLabFile.cpp
+++ b/src/parser/readLabFile.cpp
@@ -69,37 +69,31 @@ LabParser::LabParser(uint_fast64_t node_count, const char * filename)
 		/*
 		 *	iterate over tokens until we hit #END or end of file
 		 */
-		while(buf[0] != '\0')
-		{
+		while(buf[0] != '\0') {
 			buf += cnt;
 			cnt = strcspn(buf, separator); // position of next separator
-			if (cnt > 0)
-			{
+			if (cnt > 0) {
 				/*
 				 *	next token is #DECLARATION: just skip it
 				 *	next token is #END: stop search
 				 *	otherwise increase proposition_count
 				 */
-				if (strncmp(buf, "#DECLARATION", cnt) == 0)
-				{
+				if (strncmp(buf, "#DECLARATION", cnt) == 0) {
 					foundDecl = true;
 					continue;
 				}
-				else if (strncmp(buf, "#END", cnt) == 0)
-				{
+				else if (strncmp(buf, "#END", cnt) == 0) {
 					foundEnd = true;
 					break;
 				}
 				proposition_count++;
-			}
-			else buf++; // next char is separator, one step forward
+			} else buf++; // next char is separator, one step forward
 		}
 		
 		/*
 		 *	If #DECLARATION or #END were not found, the file format is wrong
 		 */
-		if (! (foundDecl && foundEnd))
-		{
+		if (! (foundDecl && foundEnd)) {
 			LOG4CPLUS_ERROR(logger, "Wrong file format in (" << filename << "). File header is corrupted.");
 			if (! foundDecl) LOG4CPLUS_ERROR(logger, "\tDid not find #DECLARATION token.");
 			if (! foundEnd) LOG4CPLUS_ERROR(logger, "\tDid not find #END token.");
@@ -125,20 +119,16 @@ LabParser::LabParser(uint_fast64_t node_count, const char * filename)
 		 */
 		char proposition[128]; // buffer for proposition names
 		size_t cnt = 0;
-		do
-		{
+		do {
 			buf += cnt;
 			cnt = strcspn(buf, separator); // position of next separator
-			if (cnt >= sizeof(proposition))
-			{
+			if (cnt >= sizeof(proposition)) {
 				/*
 				 *	if token is longer than our buffer, the following strncpy code might get risky...
 				 */
 				LOG4CPLUS_ERROR(logger, "Wrong file format in (" << filename << "). Atomic proposition with length > " << (sizeof(proposition)-1) << " was found.");
 				throw mrmc::exceptions::wrong_file_format();
-			}
-			else if (cnt > 0)
-			{
+			} else if (cnt > 0) {
 				/*
 				 *	next token is: #DECLARATION: just skip it
 				 *	next token is: #END: stop search
@@ -149,8 +139,7 @@ LabParser::LabParser(uint_fast64_t node_count, const char * filename)
 				strncpy(proposition, buf, cnt);
 				proposition[cnt] = '\0';
 				this->labeling->addAtomicProposition(proposition);
-			}
-			else cnt = 1; // next char is separator, one step forward
+			} else cnt = 1; // next char is separator, one step forward
 		} while (cnt > 0);
 		/*
 		 *	Right here, the buf pointer is still pointing to our last token,
@@ -169,17 +158,14 @@ LabParser::LabParser(uint_fast64_t node_count, const char * filename)
 		/*
 		 *	iterate over nodes
 		 */
-		while (buf[0] != '\0')
-		{
+		while (buf[0] != '\0') {
 			/*
 			 *	parse node number, then iterate over propositions
 			 */
 			node = checked_strtol(buf, &buf);
-			while ((buf[0] != '\n') && (buf[0] != '\0'))
-			{
+			while ((buf[0] != '\n') && (buf[0] != '\0')) {
 				cnt = strcspn(buf, separator);
-				if (cnt == 0)
-				{
+				if (cnt == 0) {
 					/*
 					 *	next char is a separator
 					 *	if it's a newline, we continue with next node
@@ -187,9 +173,7 @@ LabParser::LabParser(uint_fast64_t node_count, const char * filename)
 					 */
 					if (buf[0] == '\n') break;
 					buf++;
-				}
-				else
-				{
+				} else {
 					/*
 					 *	copy proposition to buffer and add it to labeling
 					 */
diff --git a/src/parser/readLabFile.h b/src/parser/readLabFile.h
index 5aa142d4d..c668097f0 100644
--- a/src/parser/readLabFile.h
+++ b/src/parser/readLabFile.h
@@ -17,13 +17,11 @@ namespace parser {
  *	Note that this class creates a new AtomicPropositionsLabeling object that can
  *	be accessed via getLabeling(). However, it will not delete this object!
  */
-class LabParser : Parser
-{
+class LabParser : Parser {
 	public:
 		LabParser(uint_fast64_t node_count, const char* filename);
 
-		std::shared_ptr<mrmc::models::AtomicPropositionsLabeling> getLabeling()
-		{
+		std::shared_ptr<mrmc::models::AtomicPropositionsLabeling> getLabeling() {
 			return this->labeling;
 		}
 	
diff --git a/src/parser/readTraFile.cpp b/src/parser/readTraFile.cpp
index 902259f54..1a6137fbf 100644
--- a/src/parser/readTraFile.cpp
+++ b/src/parser/readTraFile.cpp
@@ -48,23 +48,20 @@ namespace parser{
  *	@param buf Data to scan. Is expected to be some char array.
  *	@param maxnode Is set to highest id of all nodes.
  */
-uint_fast64_t TraParser::firstPass(char* buf, uint_fast64_t &maxnode)
-{
+uint_fast64_t TraParser::firstPass(char* buf, uint_fast64_t &maxnode) {
 	uint_fast64_t non_zero = 0;
 	
 	/*
 	 *	check file header and extract number of transitions
 	 */
-	if (strncmp(buf, "STATES ", 7) != 0)
-	{
+	if (strncmp(buf, "STATES ", 7) != 0) {
 		LOG4CPLUS_ERROR(logger, "Expected \"STATES\" but got \"" << std::string(buf, 0, 16) << "\".");
 		return 0;
 	}
 	buf += 7; // skip "STATES "
 	if (strtol(buf, &buf, 10) == 0) return 0;
 	buf = skipWS(buf);
-	if (strncmp(buf, "TRANSITIONS ", 12) != 0)
-	{
+	if (strncmp(buf, "TRANSITIONS ", 12) != 0) {
 		LOG4CPLUS_ERROR(logger, "Expected \"TRANSITIONS\" but got \"" << std::string(buf, 0, 16) << "\".");
 		return 0;
 	}
@@ -78,8 +75,7 @@ uint_fast64_t TraParser::firstPass(char* buf, uint_fast64_t &maxnode)
 	double val;
 	maxnode = 0;
 	char* tmp;
-	while (buf[0] != '\0')
-	{
+	while (buf[0] != '\0') {
 		/*
 		 *	read row and column
 		 */
@@ -95,8 +91,7 @@ uint_fast64_t TraParser::firstPass(char* buf, uint_fast64_t &maxnode)
 		 *	if row == col, we have a diagonal element which is treated seperately and this non_zero must be decreased.
 		 */
 		val = strtod(buf, &tmp);
-		if (val == 0.0)
-		{
+		if (val == 0.0) {
 			LOG4CPLUS_ERROR(logger, "Expected a positive probability but got \"" << std::string(buf, 0, 16) << "\".");
 			return 0;
 		}
diff --git a/src/parser/readTraFile.h b/src/parser/readTraFile.h
index cf2886b18..ba09b1aea 100644
--- a/src/parser/readTraFile.h
+++ b/src/parser/readTraFile.h
@@ -17,13 +17,11 @@ namespace parser {
  *	Note that this class creates a new StaticSparseMatrix object that can be
  *	accessed via getMatrix(). However, it does not delete this object!
  */
-class TraParser : Parser
-{
+class TraParser : Parser {
 	public:
 		TraParser(const char* filename);
 		
-		std::shared_ptr<mrmc::storage::SquareSparseMatrix<double>> getMatrix()
-		{
+		std::shared_ptr<mrmc::storage::SquareSparseMatrix<double>> getMatrix() {
 			return this->matrix;
 		}
 	
diff --git a/src/utility/settings.cpp b/src/utility/settings.cpp
index bd3044e7e..05cfe1759 100644
--- a/src/utility/settings.cpp
+++ b/src/utility/settings.cpp
@@ -147,8 +147,7 @@ void Settings::firstRun(const int argc, const char* argv[], const char* filename
 	 */
 	if (this->vm.count("configfile")) {
 		bpo::store(bpo::parse_config_file<char>(this->vm["configfile"].as<std::string>().c_str(), *(Settings::desc)), this->vm, true);
-	}
-	else if (filename != NULL) {
+	} else if (filename != NULL) {
 		bpo::store(bpo::parse_config_file<char>(filename, *(Settings::desc)), this->vm, true);
 	}
 }
@@ -167,8 +166,7 @@ void Settings::secondRun(const int argc, const char* argv[], const char* filenam
 	 */
 	if (this->vm.count("configfile")) {
 		bpo::store(bpo::parse_config_file<char>(this->vm["configfile"].as<std::string>().c_str(), *(Settings::desc)), this->vm, true);
-	}
-	else if (filename != NULL) {
+	} else if (filename != NULL) {
 		bpo::store(bpo::parse_config_file<char>(filename, *(Settings::desc)), this->vm, true);
 	}
 }