From 99b7c26e9f4b3e9dd6d9ccbb5cde385dce594c26 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 9 Dec 2016 13:05:02 +0100 Subject: [PATCH] exposing regular expression features to address issue #831 Signed-off-by: Nikolaj Bjorner --- src/api/api_ast.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/api/api_ast.cpp b/src/api/api_ast.cpp index eda6831b5..efa3ec098 100644 --- a/src/api/api_ast.cpp +++ b/src/api/api_ast.cpp @@ -1128,6 +1128,10 @@ extern "C" { case Z3_OP_RE_OPTION: return Z3_OP_RE_OPTION; case Z3_OP_RE_CONCAT: return Z3_OP_RE_CONCAT; case Z3_OP_RE_UNION: return Z3_OP_RE_UNION; + case Z3_OP_RE_INTERSECT: return Z3_OP_RE_INTERSECT; + case Z3_OP_RE_LOOP: return Z3_OP_RE_LOOP; + case Z3_OP_RE_FULL_SET: return Z3_OP_RE_FULL_SET; + case Z3_OP_RE_EMPTY_SET: return Z3_OP_RE_EMPTY_SET; default: return Z3_OP_INTERNAL; }