From 549e5c5d9c89bda1235b8f305ce3cd0157cfd778 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Jun 2026 20:51:36 -0700
Subject: [PATCH] add signature

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/seq_split.h | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/src/ast/rewriter/seq_split.h b/src/ast/rewriter/seq_split.h
index f3b7a57675..03b2eb9bf5 100644
--- a/src/ast/rewriter/seq_split.h
+++ b/src/ast/rewriter/seq_split.h
@@ -31,6 +31,31 @@ Author:
 
 class seq_rewriter;
 
+class split_set2 {
+    struct imp;
+    imp *m_imp;
+
+public:
+    split_set2(seq_rewriter &rw, expr *r);
+
+    ~split_set2();
+
+    class iterator {
+        struct imp;
+        imp *m_imp;
+    public:
+        iterator(split_set2& s, bool end = false);
+        ~iterator();
+        iterator &operator++();
+        std::pair<expr *, expr *> operator*() const;
+        bool operator==(iterator const &other) const;
+        bool operator!=(iterator const &other) const;
+    };
+
+    iterator begin() const;
+    iterator end() const;
+};
+
 // An individual split <D, N>: the left (prefix) regex D and right (suffix)
 // regex N.  u.v in L(r) for this split iff u in L(D) and v in L(N).
 struct split_pair {