diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-11-10 13:10:16 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-10 21:10:16 +0000 |
commit | 4877909b806329e5e0e14dcfc3c404b8e4f6c0af (patch) | |
tree | 3dcc6162d289261328c8bf2e808f1e76fd4f8eae /src/api/java/jni/solver.cpp | |
parent | e57c53e8a3c518a00cf52f199d14fbec94bdaca8 (diff) |
api: Add Solver::mkRegexpAll(). (#7614)
Diffstat (limited to 'src/api/java/jni/solver.cpp')
-rw-r--r-- | src/api/java/jni/solver.cpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/api/java/jni/solver.cpp b/src/api/java/jni/solver.cpp index a3ce49f4e..2e4404362 100644 --- a/src/api/java/jni/solver.cpp +++ b/src/api/java/jni/solver.cpp @@ -992,6 +992,21 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRegexpNone( /* * Class: io_github_cvc5_api_Solver + * Method: mkRegexpAll + * Signature: (J)J + */ +JNIEXPORT jlong JNICALL +Java_io_github_cvc5_api_Solver_mkRegexpAll(JNIEnv* env, jobject, jlong pointer) +{ + CVC5_JAVA_API_TRY_CATCH_BEGIN; + Solver* solver = reinterpret_cast<Solver*>(pointer); + Term* retPointer = new Term(solver->mkRegexpAll()); + return reinterpret_cast<jlong>(retPointer); + CVC5_JAVA_API_TRY_CATCH_END_RETURN(env, 0); +} + +/* + * Class: io_github_cvc5_api_Solver * Method: mkRegexpAllchar * Signature: (J)J */ |