Silenced a few warnings.

src/storm-parsers/parser/ExpressionParser.h

@@ -49,8 +49,8 @@ namespace storm {
             ExpressionParser(storm::expressions::ExpressionManager const& manager, qi::symbols<char, uint_fast64_t> const& invalidIdentifiers_ = qi::symbols<char, uint_fast64_t>(), bool enableErrorHandling = true, bool allowBacktracking = false);
             ~ExpressionParser();
             
-            ExpressionParser(ExpressionParser const& other) = default;
-            ExpressionParser& operator=(ExpressionParser const& other) = default;
+            ExpressionParser(ExpressionParser const& other) = delete;
+            ExpressionParser& operator=(ExpressionParser const& other) = delete;
             
             /*!
              * Sets an identifier mapping that is used to determine valid variables in the expression. The mapped-to

src/storm-parsers/parser/FormulaParserGrammar.h

@@ -25,8 +25,8 @@ namespace storm {
             FormulaParserGrammar(std::shared_ptr<storm::expressions::ExpressionManager const> const& manager);
             FormulaParserGrammar(std::shared_ptr<storm::expressions::ExpressionManager> const& manager);
             
-            FormulaParserGrammar(FormulaParserGrammar const& other) = default;
-            FormulaParserGrammar& operator=(FormulaParserGrammar const& other) = default;
+            FormulaParserGrammar(FormulaParserGrammar const& other) = delete;
+            FormulaParserGrammar& operator=(FormulaParserGrammar const& other) = delete;
             
             /*!
              * Adds an identifier and the expression it is supposed to be replaced with. This can, for example be used

src/storm/solver/SmtSolver.h

@@ -73,8 +73,8 @@ namespace storm {
 			SmtSolver(SmtSolver const& other) = default;
 
 			SmtSolver(SmtSolver&& other) = default;
-			SmtSolver& operator=(SmtSolver const& other) = default;
-			SmtSolver& operator=(SmtSolver&& other) = default;
+			SmtSolver& operator=(SmtSolver const& other) = delete;
+			SmtSolver& operator=(SmtSolver&& other) = delete;
    
 			/*!
              * Pushes a backtracking point on the solver's stack. A following call to pop() deletes exactly those

src/storm/storage/expressions/BinaryRelationExpression.h

@@ -26,9 +26,9 @@ namespace storm {
             
             // Instantiate constructors and assignments with their default implementations.
             BinaryRelationExpression(BinaryRelationExpression const& other) = default;
-            BinaryRelationExpression& operator=(BinaryRelationExpression const& other) = default;
+            BinaryRelationExpression& operator=(BinaryRelationExpression const& other) = delete;
             BinaryRelationExpression(BinaryRelationExpression&&) = default;
-            BinaryRelationExpression& operator=(BinaryRelationExpression&&) = default;
+            BinaryRelationExpression& operator=(BinaryRelationExpression&&) = delete;
 
             virtual ~BinaryRelationExpression() = default;
             

src/storm/storage/expressions/ExpressionManager.h

@@ -25,8 +25,7 @@ namespace storm {
             enum class VariableSelection { OnlyRegularVariables, OnlyAuxiliaryVariables, AllVariables };
             
             VariableIterator(ExpressionManager const& manager, std::unordered_map<std::string, uint_fast64_t>::const_iterator nameIndexIterator, std::unordered_map<std::string, uint_fast64_t>::const_iterator nameIndexIteratorEnd, VariableSelection const& selection);
-            VariableIterator(VariableIterator const& other) = default;
-            VariableIterator& operator=(VariableIterator const& other) = default;
+            VariableIterator(VariableIterator&& other) = default;
             
             // Define the basic input iterator operations.
             bool operator==(VariableIterator const& other);