From 363690791a9381074afa161d577d6e0d12d0c46e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 16 May 2020 14:34:39 -0700 Subject: [PATCH] update TBD Signed-off-by: Nikolaj Bjorner --- src/ast/seq_decl_plugin.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h index 305db0a94..0b2328f3d 100644 --- a/src/ast/seq_decl_plugin.h +++ b/src/ast/seq_decl_plugin.h @@ -22,6 +22,9 @@ TBD: - (str.replace_re_all String RegLan String String) - (str.replace_re String RegLan String String) - (str.replace_all String String String String) +- (str.is_digit String Bool) would replace smt/seq_skolem is_digit. +- (str.to_code String Int) +- (str.from_code Int String) --*/ #ifndef SEQ_DECL_PLUGIN_H_