diff --git a/include/plasp/output/Logger.h b/include/plasp/output/Logger.h index 8624426..ce65659 100644 --- a/include/plasp/output/Logger.h +++ b/include/plasp/output/Logger.h @@ -24,8 +24,6 @@ class Logger explicit Logger(); explicit Logger(ColorStream &&outputStream); explicit Logger(ColorStream &&outputStream, ColorStream &&errorStream); - Logger(Logger &&other); - Logger &operator=(Logger &&other); ColorStream &outputStream(); ColorStream &errorStream(); diff --git a/include/plasp/pddl/expressions/Quantified.h b/include/plasp/pddl/expressions/Quantified.h index ded7432..9948b09 100644 --- a/include/plasp/pddl/expressions/Quantified.h +++ b/include/plasp/pddl/expressions/Quantified.h @@ -57,7 +57,7 @@ class QuantifiedCRTP: public Quantified ExpressionPointer simplified() override; ExpressionPointer decomposed(DerivedPredicates &derivedPredicates) override; - void collectParameters(std::set ¶meters); + void collectParameters(std::set ¶meters) override; void print(std::ostream &ostream) const override; }; diff --git a/src/plasp/output/Logger.cpp b/src/plasp/output/Logger.cpp index 3cf57f3..634ff98 100644 --- a/src/plasp/output/Logger.cpp +++ b/src/plasp/output/Logger.cpp @@ -64,25 +64,6 @@ Logger::Logger(ColorStream &&outputStream, ColorStream &&errorStream) //////////////////////////////////////////////////////////////////////////////////////////////////// -Logger::Logger(Logger &&other) -: m_outputStream{std::move(other.m_outputStream)}, - m_errorStream{std::move(other.m_errorStream)}, - m_logPriority{other.m_logPriority}, - m_abortPriority{other.m_abortPriority} -{ -} - -//////////////////////////////////////////////////////////////////////////////////////////////////// - -Logger &Logger::operator=(Logger &&other) -{ - *this = std::move(other); - - return *this; -} - -//////////////////////////////////////////////////////////////////////////////////////////////////// - ColorStream &Logger::outputStream() { return m_outputStream; diff --git a/src/plasp/pddl/Expression.cpp b/src/plasp/pddl/Expression.cpp index 6242aaf..82d3703 100644 --- a/src/plasp/pddl/Expression.cpp +++ b/src/plasp/pddl/Expression.cpp @@ -63,7 +63,7 @@ ExpressionPointer Expression::simplified() //////////////////////////////////////////////////////////////////////////////////////////////////// -[[ noreturn ]] ExpressionPointer Expression::decomposed(expressions::DerivedPredicates &) +ExpressionPointer Expression::decomposed(expressions::DerivedPredicates &) { throw output::TranslatorException("expression cannot be decomposed (not normalized)"); }