From 1dfd9448d97be0b88aa200f9101e453b3111b616 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 875e27d9..7710ba1e 100644
--- a/src/ExprNode.hh
+++ b/src/ExprNode.hh
@@ -810,9 +810,11 @@ public:
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