Removed unnecessary command line utilities.

src/modelchecker/AbstractModelChecker.h

@@ -157,8 +157,7 @@ public:
 				delete result;
 			}
 		}
-		std::cout << std::endl;
-		storm::utility::printSeparationLine(std::cout);
+		std::cout << std::endl << "-------------------------------------------" << std::endl;
 	}
 
 	/*!
@@ -187,8 +186,7 @@ public:
 				delete result;
 			}
 		}
-		std::cout << std::endl;
-		storm::utility::printSeparationLine(std::cout);
+		std::cout << std::endl << "-------------------------------------------" << std::endl;
 	}
 
 	/*!

src/models/AbstractModel.h

@@ -4,7 +4,6 @@
 #include "src/models/AtomicPropositionsLabeling.h"
 #include "src/storage/BitVector.h"
 #include "src/storage/SparseMatrix.h"
-#include "src/utility/CommandLine.h"
 
 #include <memory>
 #include <vector>

src/utility/CommandLine.cpp

@@ -1,18 +0,0 @@
-/*
- * CommandLine.cpp
- *
- *  Created on: 26.12.2012
- *      Author: Christian Dehnert
- */
-
-#include <ostream>
-
-namespace storm {
-namespace utility {
-
-void printSeparationLine(std::ostream& out) {
-	out << "------------------------------------------------------" << std::endl;
-}
-
-}  // namespace utility
-}  // namespace storm

src/utility/CommandLine.h

@@ -1,24 +0,0 @@
-/*
- * CommandLine.h
- *
- *  Created on: 26.12.2012
- *      Author: Christian Dehnert
- */
-
-#ifndef STORM_UTILITY_COMMANDLINE_H_
-#define STORM_UTILITY_COMMANDLINE_H_
-
-namespace storm  {
-
-namespace utility {
-
-/*!
- * Prints a separating line to the standard output.
- */
-void printSeparationLine(std::ostream& out);
-
-} //namespace utility
-
-} //namespace storm
-
-#endif /* STORM_UTILITY_COMMANDLINE_H_ */

src/utility/vector.h

@@ -185,7 +185,7 @@ void reduceVector(std::vector<T> const& source, std::vector<T>& target, std::vec
  */
 template<class T>
 void reduceVectorMin(std::vector<T> const& source, std::vector<T>& target, std::vector<uint_fast64_t> const& rowGrouping) {
-	reduceVector<T>(source, target, rowGrouping, [] (T const& val1, T const& val2) -> bool { return val1 < val2; });
+	reduceVector<T>(source, target, rowGrouping, std::less<T>());
 }
 
 /*!
@@ -197,7 +197,7 @@ void reduceVectorMin(std::vector<T> const& source, std::vector<T>& target, std::
  */
 template<class T>
 void reduceVectorMax(std::vector<T> const& source, std::vector<T>& target, std::vector<uint_fast64_t> const& rowGrouping) {
-    reduceVector<T>(source, target, rowGrouping, [] (T const& val1, T const& val2) -> bool { return val1 > val2; });
+    reduceVector<T>(source, target, rowGrouping, std::greater<T>());
 }
 
 /*!