From 29c6d423806346b75724d94398e92bfe80730442 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 7 Jul 2021 08:20:31 +0200 Subject: [PATCH] is-char is overloaded #5389 Signed-off-by: Nikolaj Bjorner --- src/ast/seq_decl_plugin.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h index 48d46923f..8ce0f7a4e 100644 --- a/src/ast/seq_decl_plugin.h +++ b/src/ast/seq_decl_plugin.h @@ -222,6 +222,7 @@ public: sort* mk_string_sort() const { return seq.string_sort(); } bool is_char(sort* s) const { return seq.is_char(s); } + bool is_char(expr* e) const { return is_char(e->get_sort()); } bool is_string(sort* s) const { return is_seq(s) && seq.is_char(to_sort(s->get_parameter(0).get_ast())); } bool is_seq(sort* s) const { return is_sort_of(s, m_fid, SEQ_SORT); } bool is_re(sort* s) const { return is_sort_of(s, m_fid, RE_SORT); } @@ -230,7 +231,6 @@ public: bool is_seq(sort* s, sort*& seq) const { return is_seq(s) && (seq = to_sort(s->get_parameter(0).get_ast()), true); } bool is_re(expr* e) const { return is_re(e->get_sort()); } bool is_re(expr* e, sort*& seq) const { return is_re(e->get_sort(), seq); } - bool is_char(expr* e) const { return is_char(e->get_sort()); } bool is_const_char(expr* e, unsigned& c) const; bool is_const_char(expr* e) const { unsigned c; return is_const_char(e, c); } bool is_char_le(expr const* e) const;