From 26277f611ef074dfd8a11c14bb0bb3fa4bef7184 Mon Sep 17 00:00:00 2001
From: MichelJuillard <michel.juillard@mjui.fr>
Date: Mon, 14 Nov 2022 18:55:33 +0100
Subject: [PATCH] add class for exceptions
---
src/ExprNode.hh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/ExprNode.hh b/src/ExprNode.hh
index dfdd75ed..491379cd 100644
--- a/src/ExprNode.hh
+++ b/src/ExprNode.hh
@@ -919,9 +919,11 @@ public:
[[nodiscard]] virtual pair<int, expr_t> matchEndogenousTimesConstant() const;
//! Exception thrown when matching fails
- struct MatchFailureException
+ class MatchFailureException
{
+ public:
const string message;
+ MatchFailureException(string message_arg) : message(message_arg) {}
};
/* Match an expression of the form ∏ x(l)ᵏ, where x are endogenous, as used
--
GitLab