diff options
Diffstat (limited to 'src/api/cvc4cpp.h')
-rw-r--r-- | src/api/cvc4cpp.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index 66ba4f23b..60127d18b 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -3595,6 +3595,9 @@ class CVC4_PUBLIC Solver bool isInv = false, Grammar* g = nullptr) const; + /** check whether string s is a valid decimal integer */ + bool isValidInteger(const std::string& s) const; + /* The expression manager of this solver. */ std::unique_ptr<ExprManager> d_exprMgr; /* The SMT engine of this solver. */ |