From c93de62d8b084cbcdb88c87ff856d240f2f49efe Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Wed, 30 Mar 2022 21:09:03 -0700 Subject: [PATCH] Move Java package to `io.github.cvc5` (#8469) Previously, we were using io.github.cvc5.api to mirror the C++ namespace that the API was in. The namespace of the C++ API changed to simply cvc5 and so this commit updates the Java package accordingly. --- docs/api/java/CMakeLists.txt | 2 +- examples/SimpleVC.java | 4 +- examples/api/java/BitVectors.java | 2 +- examples/api/java/BitVectorsAndArrays.java | 2 +- examples/api/java/Combination.java | 2 +- examples/api/java/Datatypes.java | 2 +- examples/api/java/Exceptions.java | 2 +- examples/api/java/Extract.java | 2 +- examples/api/java/FloatingPointArith.java | 4 +- examples/api/java/HelloWorld.java | 2 +- examples/api/java/LinearArith.java | 2 +- examples/api/java/QuickStart.java | 2 +- examples/api/java/Relations.java | 4 +- examples/api/java/Sequences.java | 4 +- examples/api/java/Sets.java | 4 +- examples/api/java/Statistics.java | 6 +- examples/api/java/Strings.java | 4 +- examples/api/java/SygusFun.java | 4 +- examples/api/java/SygusGrammar.java | 4 +- examples/api/java/SygusInv.java | 4 +- examples/api/java/Transcendentals.java | 4 +- examples/api/java/UnsatCores.java | 2 +- examples/api/java/Utils.java | 8 +- src/api/java/CMakeLists.txt | 74 ++- src/api/java/genenums.py.in | 8 +- .../cvc5/{api => }/AbstractPointer.java | 2 +- .../cvc5/{api => }/CVC5ApiException.java | 2 +- .../{api => }/CVC5ApiOptionException.java | 2 +- .../CVC5ApiRecoverableException.java | 2 +- .../io/github/cvc5/{api => }/Datatype.java | 2 +- .../cvc5/{api => }/DatatypeConstructor.java | 2 +- .../{api => }/DatatypeConstructorDecl.java | 2 +- .../github/cvc5/{api => }/DatatypeDecl.java | 2 +- .../cvc5/{api => }/DatatypeSelector.java | 2 +- .../io/github/cvc5/{api => }/Grammar.java | 2 +- .../io/github/cvc5/{api => }/IPointer.java | 2 +- src/api/java/io/github/cvc5/{api => }/Op.java | 2 +- .../io/github/cvc5/{api => }/OptionInfo.java | 2 +- .../java/io/github/cvc5/{api => }/Pair.java | 2 +- .../java/io/github/cvc5/{api => }/Result.java | 2 +- .../java/io/github/cvc5/{api => }/Solver.java | 2 +- .../java/io/github/cvc5/{api => }/Sort.java | 2 +- .../java/io/github/cvc5/{api => }/Stat.java | 2 +- .../io/github/cvc5/{api => }/Statistics.java | 2 +- .../io/github/cvc5/{api => }/SynthResult.java | 2 +- .../java/io/github/cvc5/{api => }/Term.java | 2 +- .../io/github/cvc5/{api => }/Triplet.java | 2 +- .../java/io/github/cvc5/{api => }/Utils.java | 2 +- src/api/java/jni/api_utilities.h | 6 +- src/api/java/jni/datatype.cpp | 62 +- src/api/java/jni/datatype_constructor.cpp | 46 +- .../java/jni/datatype_constructor_decl.cpp | 22 +- src/api/java/jni/datatype_decl.cpp | 30 +- src/api/java/jni/datatype_selector.cpp | 30 +- src/api/java/jni/grammar.cpp | 30 +- src/api/java/jni/op.cpp | 34 +- src/api/java/jni/option_info.cpp | 60 +- src/api/java/jni/result.cpp | 34 +- src/api/java/jni/solver.cpp | 596 +++++++++--------- src/api/java/jni/sort.cpp | 238 +++---- src/api/java/jni/stat.cpp | 50 +- src/api/java/jni/statistics.cpp | 42 +- src/api/java/jni/synth_result.cpp | 26 +- src/api/java/jni/term.cpp | 234 +++---- test/unit/api/java/DatatypeTest.java | 4 +- test/unit/api/java/GrammarTest.java | 4 +- test/unit/api/java/OpTest.java | 4 +- test/unit/api/java/ResultTest.java | 2 +- test/unit/api/java/SolverTest.java | 6 +- test/unit/api/java/SortTest.java | 4 +- test/unit/api/java/SynthResultTest.java | 2 +- test/unit/api/java/TermTest.java | 4 +- 72 files changed, 892 insertions(+), 882 deletions(-) rename src/api/java/io/github/cvc5/{api => }/AbstractPointer.java (97%) rename src/api/java/io/github/cvc5/{api => }/CVC5ApiException.java (96%) rename src/api/java/io/github/cvc5/{api => }/CVC5ApiOptionException.java (96%) rename src/api/java/io/github/cvc5/{api => }/CVC5ApiRecoverableException.java (96%) rename src/api/java/io/github/cvc5/{api => }/Datatype.java (99%) rename src/api/java/io/github/cvc5/{api => }/DatatypeConstructor.java (99%) rename src/api/java/io/github/cvc5/{api => }/DatatypeConstructorDecl.java (98%) rename src/api/java/io/github/cvc5/{api => }/DatatypeDecl.java (98%) rename src/api/java/io/github/cvc5/{api => }/DatatypeSelector.java (98%) rename src/api/java/io/github/cvc5/{api => }/Grammar.java (98%) rename src/api/java/io/github/cvc5/{api => }/IPointer.java (95%) rename src/api/java/io/github/cvc5/{api => }/Op.java (99%) rename src/api/java/io/github/cvc5/{api => }/OptionInfo.java (99%) rename src/api/java/io/github/cvc5/{api => }/Pair.java (97%) rename src/api/java/io/github/cvc5/{api => }/Result.java (99%) rename src/api/java/io/github/cvc5/{api => }/Solver.java (99%) rename src/api/java/io/github/cvc5/{api => }/Sort.java (99%) rename src/api/java/io/github/cvc5/{api => }/Stat.java (99%) rename src/api/java/io/github/cvc5/{api => }/Statistics.java (99%) rename src/api/java/io/github/cvc5/{api => }/SynthResult.java (98%) rename src/api/java/io/github/cvc5/{api => }/Term.java (99%) rename src/api/java/io/github/cvc5/{api => }/Triplet.java (97%) rename src/api/java/io/github/cvc5/{api => }/Utils.java (99%) diff --git a/docs/api/java/CMakeLists.txt b/docs/api/java/CMakeLists.txt index 2fcf74767..def6524be 100644 --- a/docs/api/java/CMakeLists.txt +++ b/docs/api/java/CMakeLists.txt @@ -27,7 +27,7 @@ if(BUILD_BINDINGS_JAVA) add_custom_command( OUTPUT ${JAVADOC_INDEX_FILE} COMMAND - ${Java_JAVADOC_EXECUTABLE} io.github.cvc5.api + ${Java_JAVADOC_EXECUTABLE} io.github.cvc5 -sourcepath ${CMAKE_SOURCE_DIR}/src/api/java/:${CMAKE_BINARY_DIR}/src/api/java/ -d ${JAVADOC_OUTPUT_DIR} -cp ${CVC5_JAR_FILE} diff --git a/examples/SimpleVC.java b/examples/SimpleVC.java index dc1a6de1c..b1aafdbb0 100644 --- a/examples/SimpleVC.java +++ b/examples/SimpleVC.java @@ -20,9 +20,9 @@ * SimpleVC */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class SimpleVC { diff --git a/examples/api/java/BitVectors.java b/examples/api/java/BitVectors.java index e5a78e86c..2abbc35fe 100644 --- a/examples/api/java/BitVectors.java +++ b/examples/api/java/BitVectors.java @@ -15,7 +15,7 @@ * */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.util.*; public class BitVectors diff --git a/examples/api/java/BitVectorsAndArrays.java b/examples/api/java/BitVectorsAndArrays.java index c72106082..f036e090e 100644 --- a/examples/api/java/BitVectorsAndArrays.java +++ b/examples/api/java/BitVectorsAndArrays.java @@ -15,7 +15,7 @@ * */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.util.*; public class BitVectorsAndArrays diff --git a/examples/api/java/Combination.java b/examples/api/java/Combination.java index f2c6d046b..60a9e803b 100644 --- a/examples/api/java/Combination.java +++ b/examples/api/java/Combination.java @@ -17,7 +17,7 @@ * The model is displayed using getValue(). */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.util.Iterator; public class Combination diff --git a/examples/api/java/Datatypes.java b/examples/api/java/Datatypes.java index 77cfea040..35d6914f1 100644 --- a/examples/api/java/Datatypes.java +++ b/examples/api/java/Datatypes.java @@ -13,7 +13,7 @@ * An example of using inductive datatypes in cvc5. */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.util.Iterator; public class Datatypes diff --git a/examples/api/java/Exceptions.java b/examples/api/java/Exceptions.java index 0ac1f628c..9c2bef99e 100644 --- a/examples/api/java/Exceptions.java +++ b/examples/api/java/Exceptions.java @@ -15,7 +15,7 @@ * A simple demonstration of catching cvc5 execptions via the Java API. */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class Exceptions { diff --git a/examples/api/java/Extract.java b/examples/api/java/Extract.java index c9c325bb0..c5f77c815 100644 --- a/examples/api/java/Extract.java +++ b/examples/api/java/Extract.java @@ -15,7 +15,7 @@ * */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class Extract { diff --git a/examples/api/java/FloatingPointArith.java b/examples/api/java/FloatingPointArith.java index 92b03ec6c..b799ff460 100644 --- a/examples/api/java/FloatingPointArith.java +++ b/examples/api/java/FloatingPointArith.java @@ -18,9 +18,9 @@ * an IEEE 754-2008 bit-vector to a floating-point number. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class FloatingPointArith { diff --git a/examples/api/java/HelloWorld.java b/examples/api/java/HelloWorld.java index b222a57e1..7cef12966 100644 --- a/examples/api/java/HelloWorld.java +++ b/examples/api/java/HelloWorld.java @@ -13,7 +13,7 @@ * A very simple CVC5 tutorial example. */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class HelloWorld { diff --git a/examples/api/java/LinearArith.java b/examples/api/java/LinearArith.java index 0e59b7109..7ba565ff3 100644 --- a/examples/api/java/LinearArith.java +++ b/examples/api/java/LinearArith.java @@ -14,7 +14,7 @@ * the push pop of cvc5. This also gives an example option. */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class LinearArith { public static void main(String args[]) throws CVC5ApiException diff --git a/examples/api/java/QuickStart.java b/examples/api/java/QuickStart.java index ee169c490..359601c31 100644 --- a/examples/api/java/QuickStart.java +++ b/examples/api/java/QuickStart.java @@ -14,7 +14,7 @@ * */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.math.BigInteger; import java.util.ArrayList; import java.util.Arrays; diff --git a/examples/api/java/Relations.java b/examples/api/java/Relations.java index 8f0c48090..a4b568ccd 100644 --- a/examples/api/java/Relations.java +++ b/examples/api/java/Relations.java @@ -13,9 +13,9 @@ * A simple demonstration of reasoning about relations with cvc5 via Java API. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class Relations { diff --git a/examples/api/java/Sequences.java b/examples/api/java/Sequences.java index 0fd578984..74921a9b9 100644 --- a/examples/api/java/Sequences.java +++ b/examples/api/java/Sequences.java @@ -13,9 +13,9 @@ * A simple demonstration of reasoning about sequences with cvc5 via C++ API. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class Sequences { diff --git a/examples/api/java/Sets.java b/examples/api/java/Sets.java index b7b20905c..6002c0e69 100644 --- a/examples/api/java/Sets.java +++ b/examples/api/java/Sets.java @@ -13,9 +13,9 @@ * A simple demonstration of reasoning about sets with cvc5. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class Sets { diff --git a/examples/api/java/Statistics.java b/examples/api/java/Statistics.java index a09127fe8..da1bbeb8c 100644 --- a/examples/api/java/Statistics.java +++ b/examples/api/java/Statistics.java @@ -13,9 +13,9 @@ * An example of accessing cvc5's statistics using the Java API. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.util.List; import java.util.Map; @@ -27,7 +27,7 @@ public class Statistics { // Get the statistics from the `Solver` and iterate over them. The // `Statistics` class implements the `Iterable>` interface. - io.github.cvc5.api.Statistics stats = solver.getStatistics(); + io.github.cvc5.Statistics stats = solver.getStatistics(); // short version System.out.println("Short version:"); System.out.println(stats); diff --git a/examples/api/java/Strings.java b/examples/api/java/Strings.java index 28487b852..10fe70fdd 100644 --- a/examples/api/java/Strings.java +++ b/examples/api/java/Strings.java @@ -13,9 +13,9 @@ * A simple demonstration of reasoning about strings with cvc5 via C++ API. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class Strings { diff --git a/examples/api/java/SygusFun.java b/examples/api/java/SygusFun.java index 6063a8239..3ce5a5e45 100644 --- a/examples/api/java/SygusFun.java +++ b/examples/api/java/SygusFun.java @@ -16,9 +16,9 @@ * functions. This is a direct translation of sygus-fun.cpp. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class SygusFun { diff --git a/examples/api/java/SygusGrammar.java b/examples/api/java/SygusGrammar.java index cb8a5106a..127da1c5f 100644 --- a/examples/api/java/SygusGrammar.java +++ b/examples/api/java/SygusGrammar.java @@ -17,9 +17,9 @@ * of sygus-grammar.cpp. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class SygusGrammar { diff --git a/examples/api/java/SygusInv.java b/examples/api/java/SygusInv.java index 8e9f79eac..e24adc68c 100644 --- a/examples/api/java/SygusInv.java +++ b/examples/api/java/SygusInv.java @@ -16,9 +16,9 @@ * invariant. This is a direct translation of sygus-inv.cpp. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class SygusInv { diff --git a/examples/api/java/Transcendentals.java b/examples/api/java/Transcendentals.java index a44a1e4c0..8638dcff5 100644 --- a/examples/api/java/Transcendentals.java +++ b/examples/api/java/Transcendentals.java @@ -13,9 +13,9 @@ * A simple demonstration of the transcendental extension. */ -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; public class Transcendentals { diff --git a/examples/api/java/UnsatCores.java b/examples/api/java/UnsatCores.java index b91a94ab7..cbd076713 100644 --- a/examples/api/java/UnsatCores.java +++ b/examples/api/java/UnsatCores.java @@ -13,7 +13,7 @@ * An example of interacting with unsat cores using cvc5's Java API. */ -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.util.Arrays; public class UnsatCores diff --git a/examples/api/java/Utils.java b/examples/api/java/Utils.java index 6cfd6c766..9a2054d86 100644 --- a/examples/api/java/Utils.java +++ b/examples/api/java/Utils.java @@ -16,10 +16,10 @@ import java.util.ArrayList; import java.util.List; -import io.github.cvc5.api.CVC5ApiException; -import io.github.cvc5.api.Kind; -import io.github.cvc5.api.Sort; -import io.github.cvc5.api.Term; +import io.github.cvc5.CVC5ApiException; +import io.github.cvc5.Kind; +import io.github.cvc5.Sort; +import io.github.cvc5.Term; public class Utils { diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt index b274a5145..79a95bd57 100644 --- a/src/api/java/CMakeLists.txt +++ b/src/api/java/CMakeLists.txt @@ -22,7 +22,7 @@ configure_file(genenums.py.in genenums.py) # Generate Kind.java set(JAVA_KIND_FILE - "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/api/Kind.java" + "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/Kind.java" ) add_custom_command( OUTPUT @@ -31,7 +31,7 @@ add_custom_command( "${PYTHON_EXECUTABLE}" "${CMAKE_CURRENT_BINARY_DIR}/genenums.py" --enums-header "${PROJECT_SOURCE_DIR}/src/api/cpp/cvc5_kind.h" - --java-api-path "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/" + --java-api-path "${CMAKE_CURRENT_BINARY_DIR}/io/github/" DEPENDS "${CMAKE_CURRENT_BINARY_DIR}/genenums.py" "${PROJECT_SOURCE_DIR}/src/api/parseenums.py" @@ -40,9 +40,9 @@ add_custom_command( add_custom_target(generate-java-kinds DEPENDS ${JAVA_KIND_FILE}) set(JAVA_TYPES_FILES - "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/api/BlockModelsMode.java" - "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/api/RoundingMode.java" - "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/api/UnknownExplanation.java" + "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/BlockModelsMode.java" + "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/RoundingMode.java" + "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/UnknownExplanation.java" ) add_custom_command( OUTPUT @@ -51,7 +51,7 @@ add_custom_command( "${PYTHON_EXECUTABLE}" "${CMAKE_CURRENT_BINARY_DIR}/genenums.py" --enums-header "${PROJECT_SOURCE_DIR}/src/api/cpp/cvc5_types.h" - --java-api-path "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/" + --java-api-path "${CMAKE_CURRENT_BINARY_DIR}/io/github/" DEPENDS "${CMAKE_CURRENT_BINARY_DIR}/genenums.py" "${PROJECT_SOURCE_DIR}/src/api/parseenums.py" @@ -65,35 +65,49 @@ include(UseJava) # specify java source files set(JAVA_FILES - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/AbstractPointer.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/CVC5ApiException.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/CVC5ApiOptionException.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/CVC5ApiRecoverableException.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Datatype.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/DatatypeConstructor.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/DatatypeConstructorDecl.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/DatatypeDecl.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/DatatypeSelector.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Grammar.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/IPointer.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Op.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/OptionInfo.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Pair.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Result.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Solver.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Sort.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Stat.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Statistics.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/SynthResult.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Term.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Triplet.java - ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/api/Utils.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/AbstractPointer.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/CVC5ApiException.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/CVC5ApiOptionException.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/CVC5ApiRecoverableException.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Datatype.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/DatatypeConstructor.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/DatatypeConstructorDecl.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/DatatypeDecl.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/DatatypeSelector.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Grammar.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/IPointer.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Op.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/OptionInfo.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Pair.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Result.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Solver.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Sort.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Stat.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Statistics.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/SynthResult.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Term.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Triplet.java + ${CMAKE_CURRENT_LIST_DIR}/io/github/cvc5/Utils.java ${JAVA_KIND_FILE} ) # specify generated jni headers set(JNI_HEADERS - ${JNI_DIR}/io_github_cvc5_api_Solver.h + ${JNI_DIR}/io_github_cvc5_DatatypeConstructorDecl.h + ${JNI_DIR}/io_github_cvc5_DatatypeConstructor.h + ${JNI_DIR}/io_github_cvc5_DatatypeDecl.h + ${JNI_DIR}/io_github_cvc5_Datatype.h + ${JNI_DIR}/io_github_cvc5_DatatypeSelector.h + ${JNI_DIR}/io_github_cvc5_Grammar.h + ${JNI_DIR}/io_github_cvc5_Op.h + ${JNI_DIR}/io_github_cvc5_OptionInfo.h + ${JNI_DIR}/io_github_cvc5_Result.h + ${JNI_DIR}/io_github_cvc5_Solver.h + ${JNI_DIR}/io_github_cvc5_Sort.h + ${JNI_DIR}/io_github_cvc5_Stat.h + ${JNI_DIR}/io_github_cvc5_Statistics.h + ${JNI_DIR}/io_github_cvc5_SynthResult.h + ${JNI_DIR}/io_github_cvc5_Term.h ) # generate jni headers diff --git a/src/api/java/genenums.py.in b/src/api/java/genenums.py.in index b9d4a3026..a83076486 100644 --- a/src/api/java/genenums.py.in +++ b/src/api/java/genenums.py.in @@ -34,7 +34,7 @@ DEFAULT_PREFIX = 'Kind' # Code Blocks ENUM_JAVA_TOP = \ - r"""package io.github.cvc5.{namespace}; + r"""package io.github.{namespace}; import java.util.HashMap; import java.util.Map; @@ -161,11 +161,7 @@ def format_comment(comment): def gen_java(parser: EnumParser, path): for namespace in parser.namespaces: for enum in namespace.enums: - subnamespace = namespace.name.split('::')[-1] - # Workaround to make it work without moving the java files. Will be - # done in a subsequent PR by Andres - if subnamespace == 'cvc5': - subnamespace = 'api' + subnamespace = namespace.name.replace('::', '.') filedir = os.path.join(path, subnamespace) if not os.path.exists(filedir): os.mkdir(filedir) diff --git a/src/api/java/io/github/cvc5/api/AbstractPointer.java b/src/api/java/io/github/cvc5/AbstractPointer.java similarity index 97% rename from src/api/java/io/github/cvc5/api/AbstractPointer.java rename to src/api/java/io/github/cvc5/AbstractPointer.java index 11c00e7fb..d9636807a 100644 --- a/src/api/java/io/github/cvc5/api/AbstractPointer.java +++ b/src/api/java/io/github/cvc5/AbstractPointer.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; abstract class AbstractPointer implements IPointer { diff --git a/src/api/java/io/github/cvc5/api/CVC5ApiException.java b/src/api/java/io/github/cvc5/CVC5ApiException.java similarity index 96% rename from src/api/java/io/github/cvc5/api/CVC5ApiException.java rename to src/api/java/io/github/cvc5/CVC5ApiException.java index dd5766e5d..e883b70d0 100644 --- a/src/api/java/io/github/cvc5/api/CVC5ApiException.java +++ b/src/api/java/io/github/cvc5/CVC5ApiException.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class CVC5ApiException extends Exception { diff --git a/src/api/java/io/github/cvc5/api/CVC5ApiOptionException.java b/src/api/java/io/github/cvc5/CVC5ApiOptionException.java similarity index 96% rename from src/api/java/io/github/cvc5/api/CVC5ApiOptionException.java rename to src/api/java/io/github/cvc5/CVC5ApiOptionException.java index 0c213a792..f2a4c2706 100644 --- a/src/api/java/io/github/cvc5/api/CVC5ApiOptionException.java +++ b/src/api/java/io/github/cvc5/CVC5ApiOptionException.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class CVC5ApiOptionException extends CVC5ApiRecoverableException { diff --git a/src/api/java/io/github/cvc5/api/CVC5ApiRecoverableException.java b/src/api/java/io/github/cvc5/CVC5ApiRecoverableException.java similarity index 96% rename from src/api/java/io/github/cvc5/api/CVC5ApiRecoverableException.java rename to src/api/java/io/github/cvc5/CVC5ApiRecoverableException.java index 302b02ebe..20b61201f 100644 --- a/src/api/java/io/github/cvc5/api/CVC5ApiRecoverableException.java +++ b/src/api/java/io/github/cvc5/CVC5ApiRecoverableException.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class CVC5ApiRecoverableException extends CVC5ApiException { diff --git a/src/api/java/io/github/cvc5/api/Datatype.java b/src/api/java/io/github/cvc5/Datatype.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Datatype.java rename to src/api/java/io/github/cvc5/Datatype.java index bb6c32ea9..677ae7909 100644 --- a/src/api/java/io/github/cvc5/api/Datatype.java +++ b/src/api/java/io/github/cvc5/Datatype.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.util.Iterator; import java.util.NoSuchElementException; diff --git a/src/api/java/io/github/cvc5/api/DatatypeConstructor.java b/src/api/java/io/github/cvc5/DatatypeConstructor.java similarity index 99% rename from src/api/java/io/github/cvc5/api/DatatypeConstructor.java rename to src/api/java/io/github/cvc5/DatatypeConstructor.java index e84a63ef1..e7d8182f9 100644 --- a/src/api/java/io/github/cvc5/api/DatatypeConstructor.java +++ b/src/api/java/io/github/cvc5/DatatypeConstructor.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.util.Iterator; import java.util.NoSuchElementException; diff --git a/src/api/java/io/github/cvc5/api/DatatypeConstructorDecl.java b/src/api/java/io/github/cvc5/DatatypeConstructorDecl.java similarity index 98% rename from src/api/java/io/github/cvc5/api/DatatypeConstructorDecl.java rename to src/api/java/io/github/cvc5/DatatypeConstructorDecl.java index 5cff1e09b..45e79f1f1 100644 --- a/src/api/java/io/github/cvc5/api/DatatypeConstructorDecl.java +++ b/src/api/java/io/github/cvc5/DatatypeConstructorDecl.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class DatatypeConstructorDecl extends AbstractPointer { diff --git a/src/api/java/io/github/cvc5/api/DatatypeDecl.java b/src/api/java/io/github/cvc5/DatatypeDecl.java similarity index 98% rename from src/api/java/io/github/cvc5/api/DatatypeDecl.java rename to src/api/java/io/github/cvc5/DatatypeDecl.java index ddaca88df..3c15a049d 100644 --- a/src/api/java/io/github/cvc5/api/DatatypeDecl.java +++ b/src/api/java/io/github/cvc5/DatatypeDecl.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class DatatypeDecl extends AbstractPointer { diff --git a/src/api/java/io/github/cvc5/api/DatatypeSelector.java b/src/api/java/io/github/cvc5/DatatypeSelector.java similarity index 98% rename from src/api/java/io/github/cvc5/api/DatatypeSelector.java rename to src/api/java/io/github/cvc5/DatatypeSelector.java index 5f8aaabc6..4f64c045c 100644 --- a/src/api/java/io/github/cvc5/api/DatatypeSelector.java +++ b/src/api/java/io/github/cvc5/DatatypeSelector.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class DatatypeSelector extends AbstractPointer { diff --git a/src/api/java/io/github/cvc5/api/Grammar.java b/src/api/java/io/github/cvc5/Grammar.java similarity index 98% rename from src/api/java/io/github/cvc5/api/Grammar.java rename to src/api/java/io/github/cvc5/Grammar.java index 49a29670d..36c6ad789 100644 --- a/src/api/java/io/github/cvc5/api/Grammar.java +++ b/src/api/java/io/github/cvc5/Grammar.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class Grammar extends AbstractPointer { diff --git a/src/api/java/io/github/cvc5/api/IPointer.java b/src/api/java/io/github/cvc5/IPointer.java similarity index 95% rename from src/api/java/io/github/cvc5/api/IPointer.java rename to src/api/java/io/github/cvc5/IPointer.java index 233548db8..fb235944a 100644 --- a/src/api/java/io/github/cvc5/api/IPointer.java +++ b/src/api/java/io/github/cvc5/IPointer.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; interface IPointer { long getPointer(); diff --git a/src/api/java/io/github/cvc5/api/Op.java b/src/api/java/io/github/cvc5/Op.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Op.java rename to src/api/java/io/github/cvc5/Op.java index 1dc894251..68a24fb42 100644 --- a/src/api/java/io/github/cvc5/api/Op.java +++ b/src/api/java/io/github/cvc5/Op.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class Op extends AbstractPointer { diff --git a/src/api/java/io/github/cvc5/api/OptionInfo.java b/src/api/java/io/github/cvc5/OptionInfo.java similarity index 99% rename from src/api/java/io/github/cvc5/api/OptionInfo.java rename to src/api/java/io/github/cvc5/OptionInfo.java index 9ee43774c..bd8edc8b0 100644 --- a/src/api/java/io/github/cvc5/api/OptionInfo.java +++ b/src/api/java/io/github/cvc5/OptionInfo.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.math.BigInteger; diff --git a/src/api/java/io/github/cvc5/api/Pair.java b/src/api/java/io/github/cvc5/Pair.java similarity index 97% rename from src/api/java/io/github/cvc5/api/Pair.java rename to src/api/java/io/github/cvc5/Pair.java index 948bf92ec..d2bd1ff8a 100644 --- a/src/api/java/io/github/cvc5/api/Pair.java +++ b/src/api/java/io/github/cvc5/Pair.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class Pair { diff --git a/src/api/java/io/github/cvc5/api/Result.java b/src/api/java/io/github/cvc5/Result.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Result.java rename to src/api/java/io/github/cvc5/Result.java index 1dea116ac..7607e6276 100644 --- a/src/api/java/io/github/cvc5/api/Result.java +++ b/src/api/java/io/github/cvc5/Result.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.util.HashMap; import java.util.Map; diff --git a/src/api/java/io/github/cvc5/api/Solver.java b/src/api/java/io/github/cvc5/Solver.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Solver.java rename to src/api/java/io/github/cvc5/Solver.java index acfd0cd99..686a16c72 100644 --- a/src/api/java/io/github/cvc5/api/Solver.java +++ b/src/api/java/io/github/cvc5/Solver.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.io.IOException; import java.util.*; diff --git a/src/api/java/io/github/cvc5/api/Sort.java b/src/api/java/io/github/cvc5/Sort.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Sort.java rename to src/api/java/io/github/cvc5/Sort.java index 51c90116a..fcd287ce9 100644 --- a/src/api/java/io/github/cvc5/api/Sort.java +++ b/src/api/java/io/github/cvc5/Sort.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.util.List; diff --git a/src/api/java/io/github/cvc5/api/Stat.java b/src/api/java/io/github/cvc5/Stat.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Stat.java rename to src/api/java/io/github/cvc5/Stat.java index 6218fade4..ace15ff08 100644 --- a/src/api/java/io/github/cvc5/api/Stat.java +++ b/src/api/java/io/github/cvc5/Stat.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.util.Map; diff --git a/src/api/java/io/github/cvc5/api/Statistics.java b/src/api/java/io/github/cvc5/Statistics.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Statistics.java rename to src/api/java/io/github/cvc5/Statistics.java index 5810480de..98d9eb8ae 100644 --- a/src/api/java/io/github/cvc5/api/Statistics.java +++ b/src/api/java/io/github/cvc5/Statistics.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.util.AbstractMap; import java.util.Iterator; diff --git a/src/api/java/io/github/cvc5/api/SynthResult.java b/src/api/java/io/github/cvc5/SynthResult.java similarity index 98% rename from src/api/java/io/github/cvc5/api/SynthResult.java rename to src/api/java/io/github/cvc5/SynthResult.java index d0b21b604..b94951d93 100644 --- a/src/api/java/io/github/cvc5/api/SynthResult.java +++ b/src/api/java/io/github/cvc5/SynthResult.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class SynthResult extends AbstractPointer { diff --git a/src/api/java/io/github/cvc5/api/Term.java b/src/api/java/io/github/cvc5/Term.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Term.java rename to src/api/java/io/github/cvc5/Term.java index 1efa1189f..46363251f 100644 --- a/src/api/java/io/github/cvc5/api/Term.java +++ b/src/api/java/io/github/cvc5/Term.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.math.BigInteger; import java.util.Arrays; diff --git a/src/api/java/io/github/cvc5/api/Triplet.java b/src/api/java/io/github/cvc5/Triplet.java similarity index 97% rename from src/api/java/io/github/cvc5/api/Triplet.java rename to src/api/java/io/github/cvc5/Triplet.java index 170d81cfb..e605deaf6 100644 --- a/src/api/java/io/github/cvc5/api/Triplet.java +++ b/src/api/java/io/github/cvc5/Triplet.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; public class Triplet { diff --git a/src/api/java/io/github/cvc5/api/Utils.java b/src/api/java/io/github/cvc5/Utils.java similarity index 99% rename from src/api/java/io/github/cvc5/api/Utils.java rename to src/api/java/io/github/cvc5/Utils.java index 5c814a7f5..f93897180 100644 --- a/src/api/java/io/github/cvc5/api/Utils.java +++ b/src/api/java/io/github/cvc5/Utils.java @@ -13,7 +13,7 @@ * The cvc5 java API. */ -package io.github.cvc5.api; +package io.github.cvc5; import java.math.BigInteger; import java.util.ArrayList; diff --git a/src/api/java/jni/api_utilities.h b/src/api/java/jni/api_utilities.h index 08c315e20..cc9397f66 100644 --- a/src/api/java/jni/api_utilities.h +++ b/src/api/java/jni/api_utilities.h @@ -29,19 +29,19 @@ catch (const CVC5ApiOptionException& e) \ { \ jclass exceptionClass = \ - env->FindClass("io/github/cvc5/api/CVC5ApiOptionException"); \ + env->FindClass("io/github/cvc5/CVC5ApiOptionException"); \ env->ThrowNew(exceptionClass, e.what()); \ } \ catch (const CVC5ApiRecoverableException& e) \ { \ jclass exceptionClass = \ - env->FindClass("io/github/cvc5/api/CVC5ApiRecoverableException"); \ + env->FindClass("io/github/cvc5/CVC5ApiRecoverableException"); \ env->ThrowNew(exceptionClass, e.what()); \ } \ catch (const CVC5ApiException& e) \ { \ jclass exceptionClass = \ - env->FindClass("io/github/cvc5/api/CVC5ApiException"); \ + env->FindClass("io/github/cvc5/CVC5ApiException"); \ env->ThrowNew(exceptionClass, e.what()); \ } #define CVC5_JAVA_API_TRY_CATCH_END_RETURN(env, returnValue) \ diff --git a/src/api/java/jni/datatype.cpp b/src/api/java/jni/datatype.cpp index 633f0e52e..e6ba593f6 100644 --- a/src/api/java/jni/datatype.cpp +++ b/src/api/java/jni/datatype.cpp @@ -15,27 +15,27 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Datatype.h" +#include "io_github_cvc5_Datatype.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Datatype_deletePointer( +JNIEXPORT void JNICALL Java_io_github_cvc5_Datatype_deletePointer( JNIEnv* env, jobject, jlong pointer) { delete ((Datatype*)pointer); } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: getConstructor * Signature: (JI)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Datatype_getConstructor__JI( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Datatype_getConstructor__JI( JNIEnv* env, jobject, jlong pointer, jint idx) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -47,12 +47,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Datatype_getConstructor__JI( } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: getConstructor * Signature: (JLjava/lang/String;)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Datatype_getConstructor__JLjava_lang_String_2( +Java_io_github_cvc5_Datatype_getConstructor__JLjava_lang_String_2( JNIEnv* env, jobject, jlong pointer, jstring jName) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -67,11 +67,11 @@ Java_io_github_cvc5_api_Datatype_getConstructor__JLjava_lang_String_2( } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: getConstructorTerm * Signature: (JLjava/lang/String;)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Datatype_getConstructorTerm( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Datatype_getConstructorTerm( JNIEnv* env, jobject, jlong pointer, jstring jName) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -85,12 +85,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Datatype_getConstructorTerm( } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: getName * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Datatype_getName(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Datatype_getName(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Datatype* current = (Datatype*)pointer; @@ -99,11 +99,11 @@ Java_io_github_cvc5_api_Datatype_getName(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: getNumConstructors * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Datatype_getNumConstructors( +JNIEXPORT jint JNICALL Java_io_github_cvc5_Datatype_getNumConstructors( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -113,11 +113,11 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Datatype_getNumConstructors( } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: getParameters * Signature: (J)[J */ -JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Datatype_getParameters( +JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_Datatype_getParameters( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -135,11 +135,11 @@ JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Datatype_getParameters( } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: isParametric * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Datatype_isParametric( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Datatype_isParametric( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -149,11 +149,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Datatype_isParametric( } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: isCodatatype * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Datatype_isCodatatype( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Datatype_isCodatatype( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -163,12 +163,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Datatype_isCodatatype( } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: isTuple * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Datatype_isTuple(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Datatype_isTuple(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Datatype* current = (Datatype*)pointer; @@ -177,12 +177,12 @@ Java_io_github_cvc5_api_Datatype_isTuple(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: isRecord * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Datatype_isRecord(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Datatype_isRecord(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Datatype* current = (Datatype*)pointer; @@ -191,12 +191,12 @@ Java_io_github_cvc5_api_Datatype_isRecord(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: isFinite * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Datatype_isFinite(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Datatype_isFinite(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Datatype* current = (Datatype*)pointer; @@ -205,11 +205,11 @@ Java_io_github_cvc5_api_Datatype_isFinite(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: isWellFounded * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Datatype_isWellFounded( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Datatype_isWellFounded( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -219,12 +219,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Datatype_isWellFounded( } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: isNull * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Datatype_isNull(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Datatype_isNull(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Datatype* current = (Datatype*)pointer; @@ -233,12 +233,12 @@ Java_io_github_cvc5_api_Datatype_isNull(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Datatype + * Class: io_github_cvc5_Datatype * Method: toString * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Datatype_toString(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Datatype_toString(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Datatype* current = (Datatype*)pointer; diff --git a/src/api/java/jni/datatype_constructor.cpp b/src/api/java/jni/datatype_constructor.cpp index c48328b1d..c39793bac 100644 --- a/src/api/java/jni/datatype_constructor.cpp +++ b/src/api/java/jni/datatype_constructor.cpp @@ -15,17 +15,17 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_DatatypeConstructor.h" +#include "io_github_cvc5_DatatypeConstructor.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: deletePointer * Signature: (J)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_DatatypeConstructor_deletePointer(JNIEnv*, +Java_io_github_cvc5_DatatypeConstructor_deletePointer(JNIEnv*, jobject, jlong pointer) { @@ -33,11 +33,11 @@ Java_io_github_cvc5_api_DatatypeConstructor_deletePointer(JNIEnv*, } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: getName * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeConstructor_getName( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_DatatypeConstructor_getName( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -47,12 +47,12 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeConstructor_getName( } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: getConstructorTerm * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_DatatypeConstructor_getConstructorTerm(JNIEnv* env, +Java_io_github_cvc5_DatatypeConstructor_getConstructorTerm(JNIEnv* env, jobject, jlong pointer) { @@ -64,12 +64,12 @@ Java_io_github_cvc5_api_DatatypeConstructor_getConstructorTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: getInstantiatedConstructorTerm * Signature: (JJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_DatatypeConstructor_getInstantiatedConstructorTerm( +Java_io_github_cvc5_DatatypeConstructor_getInstantiatedConstructorTerm( JNIEnv* env, jobject, jlong pointer, jlong retSortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -81,12 +81,12 @@ Java_io_github_cvc5_api_DatatypeConstructor_getInstantiatedConstructorTerm( } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: getTesterTerm * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_DatatypeConstructor_getTesterTerm(JNIEnv* env, +Java_io_github_cvc5_DatatypeConstructor_getTesterTerm(JNIEnv* env, jobject, jlong pointer) { @@ -98,12 +98,12 @@ Java_io_github_cvc5_api_DatatypeConstructor_getTesterTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: getNumSelectors * Signature: (J)I */ JNIEXPORT jint JNICALL -Java_io_github_cvc5_api_DatatypeConstructor_getNumSelectors(JNIEnv* env, +Java_io_github_cvc5_DatatypeConstructor_getNumSelectors(JNIEnv* env, jobject, jlong pointer) { @@ -114,12 +114,12 @@ Java_io_github_cvc5_api_DatatypeConstructor_getNumSelectors(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: getSelector * Signature: (JI)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_DatatypeConstructor_getSelector__JI(JNIEnv* env, +Java_io_github_cvc5_DatatypeConstructor_getSelector__JI(JNIEnv* env, jobject, jlong pointer, jint index) @@ -133,12 +133,12 @@ Java_io_github_cvc5_api_DatatypeConstructor_getSelector__JI(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: getSelector * Signature: (JLjava/lang/String;)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_DatatypeConstructor_getSelector__JLjava_lang_String_2( +Java_io_github_cvc5_DatatypeConstructor_getSelector__JLjava_lang_String_2( JNIEnv* env, jobject, jlong pointer, jstring jName) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -153,12 +153,12 @@ Java_io_github_cvc5_api_DatatypeConstructor_getSelector__JLjava_lang_String_2( } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: getSelectorTerm * Signature: (JLjava/lang/String;)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_DatatypeConstructor_getSelectorTerm(JNIEnv* env, +Java_io_github_cvc5_DatatypeConstructor_getSelectorTerm(JNIEnv* env, jobject, jlong pointer, jstring jName) @@ -174,11 +174,11 @@ Java_io_github_cvc5_api_DatatypeConstructor_getSelectorTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: isNull * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_DatatypeConstructor_isNull( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_DatatypeConstructor_isNull( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -188,11 +188,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_DatatypeConstructor_isNull( } /* - * Class: io_github_cvc5_api_DatatypeConstructor + * Class: io_github_cvc5_DatatypeConstructor * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeConstructor_toString( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_DatatypeConstructor_toString( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; diff --git a/src/api/java/jni/datatype_constructor_decl.cpp b/src/api/java/jni/datatype_constructor_decl.cpp index 47b09a883..3c35c22a8 100644 --- a/src/api/java/jni/datatype_constructor_decl.cpp +++ b/src/api/java/jni/datatype_constructor_decl.cpp @@ -15,17 +15,17 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_DatatypeConstructorDecl.h" +#include "io_github_cvc5_DatatypeConstructorDecl.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_DatatypeConstructorDecl + * Class: io_github_cvc5_DatatypeConstructorDecl * Method: deletePointer * Signature: (J)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_DatatypeConstructorDecl_deletePointer(JNIEnv*, +Java_io_github_cvc5_DatatypeConstructorDecl_deletePointer(JNIEnv*, jobject, jlong pointer) { @@ -33,12 +33,12 @@ Java_io_github_cvc5_api_DatatypeConstructorDecl_deletePointer(JNIEnv*, } /* - * Class: io_github_cvc5_api_DatatypeConstructorDecl + * Class: io_github_cvc5_DatatypeConstructorDecl * Method: addSelector * Signature: (JLjava/lang/String;J)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_DatatypeConstructorDecl_addSelector( +Java_io_github_cvc5_DatatypeConstructorDecl_addSelector( JNIEnv* env, jobject, jlong pointer, jstring jName, jlong sortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -52,12 +52,12 @@ Java_io_github_cvc5_api_DatatypeConstructorDecl_addSelector( } /* - * Class: io_github_cvc5_api_DatatypeConstructorDecl + * Class: io_github_cvc5_DatatypeConstructorDecl * Method: addSelectorSelf * Signature: (JLjava/lang/String;)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_DatatypeConstructorDecl_addSelectorSelf(JNIEnv* env, +Java_io_github_cvc5_DatatypeConstructorDecl_addSelectorSelf(JNIEnv* env, jobject, jlong pointer, jstring jName) @@ -72,12 +72,12 @@ Java_io_github_cvc5_api_DatatypeConstructorDecl_addSelectorSelf(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeConstructorDecl + * Class: io_github_cvc5_DatatypeConstructorDecl * Method: isNull * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_DatatypeConstructorDecl_isNull(JNIEnv* env, +Java_io_github_cvc5_DatatypeConstructorDecl_isNull(JNIEnv* env, jobject, jlong pointer) { @@ -88,12 +88,12 @@ Java_io_github_cvc5_api_DatatypeConstructorDecl_isNull(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeConstructorDecl + * Class: io_github_cvc5_DatatypeConstructorDecl * Method: toString * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_DatatypeConstructorDecl_toString(JNIEnv* env, +Java_io_github_cvc5_DatatypeConstructorDecl_toString(JNIEnv* env, jobject, jlong pointer) { diff --git a/src/api/java/jni/datatype_decl.cpp b/src/api/java/jni/datatype_decl.cpp index 2819409fe..e0b322b07 100644 --- a/src/api/java/jni/datatype_decl.cpp +++ b/src/api/java/jni/datatype_decl.cpp @@ -15,27 +15,27 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_DatatypeDecl.h" +#include "io_github_cvc5_DatatypeDecl.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_DatatypeDecl + * Class: io_github_cvc5_DatatypeDecl * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_DatatypeDecl_deletePointer( +JNIEXPORT void JNICALL Java_io_github_cvc5_DatatypeDecl_deletePointer( JNIEnv*, jobject, jlong pointer) { delete ((DatatypeDecl*)pointer); } /* - * Class: io_github_cvc5_api_DatatypeDecl + * Class: io_github_cvc5_DatatypeDecl * Method: addConstructor * Signature: (JJ)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_DatatypeDecl_addConstructor( +JNIEXPORT void JNICALL Java_io_github_cvc5_DatatypeDecl_addConstructor( JNIEnv* env, jobject, jlong pointer, jlong declPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -46,11 +46,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_DatatypeDecl_addConstructor( } /* - * Class: io_github_cvc5_api_DatatypeDecl + * Class: io_github_cvc5_DatatypeDecl * Method: getNumConstructors * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_DatatypeDecl_getNumConstructors( +JNIEXPORT jint JNICALL Java_io_github_cvc5_DatatypeDecl_getNumConstructors( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -60,11 +60,11 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_DatatypeDecl_getNumConstructors( } /* - * Class: io_github_cvc5_api_DatatypeDecl + * Class: io_github_cvc5_DatatypeDecl * Method: isParametric * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_DatatypeDecl_isParametric( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_DatatypeDecl_isParametric( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -74,12 +74,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_DatatypeDecl_isParametric( } /* - * Class: io_github_cvc5_api_DatatypeDecl + * Class: io_github_cvc5_DatatypeDecl * Method: isNull * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_DatatypeDecl_isNull(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_DatatypeDecl_isNull(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; DatatypeDecl* current = (DatatypeDecl*)pointer; @@ -88,11 +88,11 @@ Java_io_github_cvc5_api_DatatypeDecl_isNull(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_DatatypeDecl + * Class: io_github_cvc5_DatatypeDecl * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeDecl_toString( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_DatatypeDecl_toString( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -102,11 +102,11 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeDecl_toString( } /* - * Class: io_github_cvc5_api_DatatypeDecl + * Class: io_github_cvc5_DatatypeDecl * Method: getName * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeDecl_getName( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_DatatypeDecl_getName( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; diff --git a/src/api/java/jni/datatype_selector.cpp b/src/api/java/jni/datatype_selector.cpp index 7f3a92a97..d75263b50 100644 --- a/src/api/java/jni/datatype_selector.cpp +++ b/src/api/java/jni/datatype_selector.cpp @@ -15,27 +15,27 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_DatatypeSelector.h" +#include "io_github_cvc5_DatatypeSelector.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_DatatypeSelector + * Class: io_github_cvc5_DatatypeSelector * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_DatatypeSelector_deletePointer( +JNIEXPORT void JNICALL Java_io_github_cvc5_DatatypeSelector_deletePointer( JNIEnv*, jobject, jlong pointer) { delete ((DatatypeSelector*)pointer); } /* - * Class: io_github_cvc5_api_DatatypeSelector + * Class: io_github_cvc5_DatatypeSelector * Method: getName * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeSelector_getName( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_DatatypeSelector_getName( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -45,12 +45,12 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeSelector_getName( } /* - * Class: io_github_cvc5_api_DatatypeSelector + * Class: io_github_cvc5_DatatypeSelector * Method: getSelectorTerm * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_DatatypeSelector_getSelectorTerm(JNIEnv* env, +Java_io_github_cvc5_DatatypeSelector_getSelectorTerm(JNIEnv* env, jobject, jlong pointer) { @@ -62,11 +62,11 @@ Java_io_github_cvc5_api_DatatypeSelector_getSelectorTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeSelector + * Class: io_github_cvc5_DatatypeSelector * Method: getUpdaterTerm * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_DatatypeSelector_getUpdaterTerm( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_DatatypeSelector_getUpdaterTerm( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -77,12 +77,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_DatatypeSelector_getUpdaterTerm( } /* - * Class: io_github_cvc5_api_DatatypeSelector + * Class: io_github_cvc5_DatatypeSelector * Method: getCodomainSort * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_DatatypeSelector_getCodomainSort(JNIEnv* env, +Java_io_github_cvc5_DatatypeSelector_getCodomainSort(JNIEnv* env, jobject, jlong pointer) { @@ -94,11 +94,11 @@ Java_io_github_cvc5_api_DatatypeSelector_getCodomainSort(JNIEnv* env, } /* - * Class: io_github_cvc5_api_DatatypeSelector + * Class: io_github_cvc5_DatatypeSelector * Method: isNull * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_DatatypeSelector_isNull( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_DatatypeSelector_isNull( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -108,11 +108,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_DatatypeSelector_isNull( } /* - * Class: io_github_cvc5_api_DatatypeSelector + * Class: io_github_cvc5_DatatypeSelector * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_DatatypeSelector_toString( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_DatatypeSelector_toString( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; diff --git a/src/api/java/jni/grammar.cpp b/src/api/java/jni/grammar.cpp index e9d09e39d..f67682bc4 100644 --- a/src/api/java/jni/grammar.cpp +++ b/src/api/java/jni/grammar.cpp @@ -15,17 +15,17 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Grammar.h" +#include "io_github_cvc5_Grammar.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Grammar + * Class: io_github_cvc5_Grammar * Method: copyGrammar * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Grammar_copyGrammar(JNIEnv* env, jclass, jlong pointer) +Java_io_github_cvc5_Grammar_copyGrammar(JNIEnv* env, jclass, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Grammar* current = reinterpret_cast(pointer); @@ -35,23 +35,23 @@ Java_io_github_cvc5_api_Grammar_copyGrammar(JNIEnv* env, jclass, jlong pointer) } /* - * Class: io_github_cvc5_api_Grammar + * Class: io_github_cvc5_Grammar * Method: deletePointer * Signature: (J)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_Grammar_deletePointer(JNIEnv*, jobject, jlong pointer) +Java_io_github_cvc5_Grammar_deletePointer(JNIEnv*, jobject, jlong pointer) { delete reinterpret_cast(pointer); } /* - * Class: io_github_cvc5_api_Grammar + * Class: io_github_cvc5_Grammar * Method: addRule * Signature: (JJJ)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_Grammar_addRule(JNIEnv* env, +Java_io_github_cvc5_Grammar_addRule(JNIEnv* env, jobject, jlong pointer, jlong ntSymbolPointer, @@ -66,12 +66,12 @@ Java_io_github_cvc5_api_Grammar_addRule(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Grammar + * Class: io_github_cvc5_Grammar * Method: addRules * Signature: (JJ[J)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_Grammar_addRules(JNIEnv* env, +Java_io_github_cvc5_Grammar_addRules(JNIEnv* env, jobject, jlong pointer, jlong ntSymbolPointer, @@ -86,11 +86,11 @@ Java_io_github_cvc5_api_Grammar_addRules(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Grammar + * Class: io_github_cvc5_Grammar * Method: addAnyConstant * Signature: (JJ)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Grammar_addAnyConstant( +JNIEXPORT void JNICALL Java_io_github_cvc5_Grammar_addAnyConstant( JNIEnv* env, jobject, jlong pointer, jlong ntSymbolPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -101,11 +101,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Grammar_addAnyConstant( } /* - * Class: io_github_cvc5_api_Grammar + * Class: io_github_cvc5_Grammar * Method: addAnyVariable * Signature: (JJ)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Grammar_addAnyVariable( +JNIEXPORT void JNICALL Java_io_github_cvc5_Grammar_addAnyVariable( JNIEnv* env, jobject, jlong pointer, jlong ntSymbolPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -116,12 +116,12 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Grammar_addAnyVariable( } /* - * Class: io_github_cvc5_api_Grammar + * Class: io_github_cvc5_Grammar * Method: toString * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Grammar_toString(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Grammar_toString(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Grammar* current = reinterpret_cast(pointer); diff --git a/src/api/java/jni/op.cpp b/src/api/java/jni/op.cpp index 18cc4d4ab..6f3288684 100644 --- a/src/api/java/jni/op.cpp +++ b/src/api/java/jni/op.cpp @@ -15,16 +15,16 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Op.h" +#include "io_github_cvc5_Op.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Op + * Class: io_github_cvc5_Op * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Op_deletePointer(JNIEnv*, +JNIEXPORT void JNICALL Java_io_github_cvc5_Op_deletePointer(JNIEnv*, jobject, jlong pointer) { @@ -32,11 +32,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Op_deletePointer(JNIEnv*, } /* - * Class: io_github_cvc5_api_Op + * Class: io_github_cvc5_Op * Method: equals * Signature: (JJ)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Op_equals(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Op_equals(JNIEnv* env, jobject, jlong pointer1, jlong pointer2) @@ -50,11 +50,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Op_equals(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Op + * Class: io_github_cvc5_Op * Method: getKind * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Op_getKind(JNIEnv* env, +JNIEXPORT jint JNICALL Java_io_github_cvc5_Op_getKind(JNIEnv* env, jobject, jlong pointer) { @@ -65,11 +65,11 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Op_getKind(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Op + * Class: io_github_cvc5_Op * Method: isNull * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Op_isNull(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Op_isNull(JNIEnv* env, jobject, jlong pointer) { @@ -80,11 +80,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Op_isNull(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Op + * Class: io_github_cvc5_Op * Method: isIndexed * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Op_isIndexed(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Op_isIndexed(JNIEnv* env, jobject, jlong pointer) { @@ -95,11 +95,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Op_isIndexed(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Op + * Class: io_github_cvc5_Op * Method: getNumIndices * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Op_getNumIndices(JNIEnv* env, +JNIEXPORT jint JNICALL Java_io_github_cvc5_Op_getNumIndices(JNIEnv* env, jobject, jlong pointer) { @@ -110,11 +110,11 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Op_getNumIndices(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Op + * Class: io_github_cvc5_Op * Method: get * Signature: (JI)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Op_get(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Op_get(JNIEnv* env, jobject, jlong pointer, jint i) @@ -127,11 +127,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Op_get(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Op + * Class: io_github_cvc5_Op * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Op_toString(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Op_toString(JNIEnv* env, jobject, jlong pointer) { diff --git a/src/api/java/jni/option_info.cpp b/src/api/java/jni/option_info.cpp index 81bc11bf9..f279cd9bb 100644 --- a/src/api/java/jni/option_info.cpp +++ b/src/api/java/jni/option_info.cpp @@ -15,28 +15,28 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_OptionInfo.h" +#include "io_github_cvc5_OptionInfo.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_OptionInfo_deletePointer( +JNIEXPORT void JNICALL Java_io_github_cvc5_OptionInfo_deletePointer( JNIEnv*, jobject, jlong pointer) { delete reinterpret_cast(pointer); } /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: toString * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_OptionInfo_toString(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_OptionInfo_toString(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; OptionInfo* current = reinterpret_cast(pointer); @@ -47,12 +47,12 @@ Java_io_github_cvc5_api_OptionInfo_toString(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: getName * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_OptionInfo_getName(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_OptionInfo_getName(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; OptionInfo* current = reinterpret_cast(pointer); @@ -61,11 +61,11 @@ Java_io_github_cvc5_api_OptionInfo_getName(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: getAliases * Signature: (J)[Ljava/lang/String; */ -JNIEXPORT jobjectArray JNICALL Java_io_github_cvc5_api_OptionInfo_getAliases( +JNIEXPORT jobjectArray JNICALL Java_io_github_cvc5_OptionInfo_getAliases( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -76,11 +76,11 @@ JNIEXPORT jobjectArray JNICALL Java_io_github_cvc5_api_OptionInfo_getAliases( } /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: getSetByUser * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_OptionInfo_getSetByUser( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_OptionInfo_getSetByUser( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -145,11 +145,11 @@ jobject getNumberInfoFromInteger(JNIEnv* env, const OptionInfo::NumberInfo& info); /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: getBaseInfo - * Signature: (J)Lio/github/cvc5/api/OptionInfo/BaseInfo; + * Signature: (J)Lio/github/cvc5/OptionInfo/BaseInfo; */ -JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_OptionInfo_getBaseInfo( +JNIEXPORT jobject JNICALL Java_io_github_cvc5_OptionInfo_getBaseInfo( JNIEnv* env, jobject optionInfo, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -166,9 +166,9 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_OptionInfo_getBaseInfo( if (std::holds_alternative(v)) { jclass voidInfoClass = - env->FindClass("io/github/cvc5/api/OptionInfo$VoidInfo"); + env->FindClass("io/github/cvc5/OptionInfo$VoidInfo"); jmethodID methodId = env->GetMethodID( - voidInfoClass, "", "(Lio/github/cvc5/api/OptionInfo;)V"); + voidInfoClass, "", "(Lio/github/cvc5/OptionInfo;)V"); jobject ret = env->NewObject(voidInfoClass, methodId, optionInfo); return ret; } @@ -177,11 +177,11 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_OptionInfo_getBaseInfo( || std::holds_alternative>(v)) { jclass valueInfoClass = - env->FindClass("io/github/cvc5/api/OptionInfo$ValueInfo"); + env->FindClass("io/github/cvc5/OptionInfo$ValueInfo"); jmethodID methodId = env->GetMethodID(valueInfoClass, "", - "(Lio/github/cvc5/api/OptionInfo;Ljava/lang/" + "(Lio/github/cvc5/OptionInfo;Ljava/lang/" "Object;Ljava/lang/Object;)V"); if (std::holds_alternative>(v)) @@ -210,11 +210,11 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_OptionInfo_getBaseInfo( || std::holds_alternative>(v)) { jclass numberInfoClass = - env->FindClass("io/github/cvc5/api/OptionInfo$NumberInfo"); + env->FindClass("io/github/cvc5/OptionInfo$NumberInfo"); jmethodID methodId = env->GetMethodID( numberInfoClass, "", - "(Lio/github/cvc5/api/OptionInfo;Ljava/lang/Object;Ljava/lang/" + "(Lio/github/cvc5/OptionInfo;Ljava/lang/Object;Ljava/lang/" "Object;Ljava/lang/Object;Ljava/lang/Object;)V"); if (std::holds_alternative>(v)) @@ -260,11 +260,11 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_OptionInfo_getBaseInfo( if (std::holds_alternative(v)) { jclass modeInfoClass = - env->FindClass("io/github/cvc5/api/OptionInfo$ModeInfo"); + env->FindClass("io/github/cvc5/OptionInfo$ModeInfo"); jmethodID methodId = env->GetMethodID( modeInfoClass, "", - "(Lio/github/cvc5/api/OptionInfo;Ljava/lang/String;Ljava/lang/" + "(Lio/github/cvc5/OptionInfo;Ljava/lang/String;Ljava/lang/" "String;[Ljava/lang/String;)V"); auto info = std::get(v); @@ -285,11 +285,11 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_OptionInfo_getBaseInfo( } /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: booleanValue * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_OptionInfo_booleanValue( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_OptionInfo_booleanValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -299,11 +299,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_OptionInfo_booleanValue( } /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: stringValue * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_OptionInfo_stringValue( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_OptionInfo_stringValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -314,12 +314,12 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_OptionInfo_stringValue( } /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: intValue * Signature: (J)Ljava/math/BigInteger; */ JNIEXPORT jobject JNICALL -Java_io_github_cvc5_api_OptionInfo_intValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_OptionInfo_intValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; OptionInfo* current = reinterpret_cast(pointer); @@ -343,11 +343,11 @@ Java_io_github_cvc5_api_OptionInfo_intValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_OptionInfo + * Class: io_github_cvc5_OptionInfo * Method: doubleValue * Signature: (J)D */ -JNIEXPORT jdouble JNICALL Java_io_github_cvc5_api_OptionInfo_doubleValue( +JNIEXPORT jdouble JNICALL Java_io_github_cvc5_OptionInfo_doubleValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; diff --git a/src/api/java/jni/result.cpp b/src/api/java/jni/result.cpp index 0a7054bb0..5aed652cd 100644 --- a/src/api/java/jni/result.cpp +++ b/src/api/java/jni/result.cpp @@ -15,27 +15,27 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Result.h" +#include "io_github_cvc5_Result.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Result + * Class: io_github_cvc5_Result * Method: deletePointer * Signature: (J)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_Result_deletePointer(JNIEnv*, jobject, jlong pointer) +Java_io_github_cvc5_Result_deletePointer(JNIEnv*, jobject, jlong pointer) { delete ((Result*)pointer); } /* - * Class: io_github_cvc5_api_Result + * Class: io_github_cvc5_Result * Method: isNull * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Result_isNull(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Result_isNull(JNIEnv* env, jobject, jlong pointer) { @@ -46,11 +46,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Result_isNull(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Result + * Class: io_github_cvc5_Result * Method: isSat * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Result_isSat(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Result_isSat(JNIEnv* env, jobject, jlong pointer) { @@ -61,11 +61,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Result_isSat(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Result + * Class: io_github_cvc5_Result * Method: isUnsat * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Result_isUnsat(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Result_isUnsat(JNIEnv* env, jobject, jlong pointer) { @@ -76,12 +76,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Result_isUnsat(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Result + * Class: io_github_cvc5_Result * Method: isUnknown * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Result_isUnknown(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Result_isUnknown(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Result* current = (Result*)pointer; @@ -90,11 +90,11 @@ Java_io_github_cvc5_api_Result_isUnknown(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Result + * Class: io_github_cvc5_Result * Method: equals * Signature: (JJ)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Result_equals(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Result_equals(JNIEnv* env, jobject, jlong pointer1, jlong pointer2) @@ -108,11 +108,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Result_equals(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Result + * Class: io_github_cvc5_Result * Method: getUnknownExplanation * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Result_getUnknownExplanation( +JNIEXPORT jint JNICALL Java_io_github_cvc5_Result_getUnknownExplanation( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -122,11 +122,11 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Result_getUnknownExplanation( } /* - * Class: io_github_cvc5_api_Result + * Class: io_github_cvc5_Result * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Result_toString(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Result_toString(JNIEnv* env, jobject, jlong pointer) { diff --git a/src/api/java/jni/solver.cpp b/src/api/java/jni/solver.cpp index b0c52b228..ee9f6affb 100644 --- a/src/api/java/jni/solver.cpp +++ b/src/api/java/jni/solver.cpp @@ -15,16 +15,16 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Solver.h" +#include "io_github_cvc5_Solver.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: newSolver * Signature: ()J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_newSolver(JNIEnv*, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_newSolver(JNIEnv*, jobject) { Solver* solver = new Solver(); @@ -32,23 +32,23 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_newSolver(JNIEnv*, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: deletePointer * Signature: (J)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_Solver_deletePointer(JNIEnv*, jclass, jlong pointer) +Java_io_github_cvc5_Solver_deletePointer(JNIEnv*, jclass, jlong pointer) { delete (reinterpret_cast(pointer)); } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getNullSort * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_getNullSort(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Solver_getNullSort(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Solver* solver = reinterpret_cast(pointer); @@ -58,11 +58,11 @@ Java_io_github_cvc5_api_Solver_getNullSort(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getBooleanSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getBooleanSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getBooleanSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -73,11 +73,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getBooleanSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getIntegerSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getIntegerSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getIntegerSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -88,12 +88,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getIntegerSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getRealSort * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_getRealSort(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Solver_getRealSort(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Solver* solver = reinterpret_cast(pointer); @@ -103,11 +103,11 @@ Java_io_github_cvc5_api_Solver_getRealSort(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getRegExpSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getRegExpSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getRegExpSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -118,11 +118,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getRegExpSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getRoundingModeSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getRoundingModeSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getRoundingModeSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -133,11 +133,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getRoundingModeSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getStringSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getStringSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getStringSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -148,12 +148,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getStringSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkArraySort * Signature: (JJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkArraySort(JNIEnv* env, +Java_io_github_cvc5_Solver_mkArraySort(JNIEnv* env, jobject, jlong pointer, jlong indexSortPointer, @@ -169,11 +169,11 @@ Java_io_github_cvc5_api_Solver_mkArraySort(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkBitVectorSort * Signature: (JI)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkBitVectorSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkBitVectorSort( JNIEnv* env, jobject, jlong pointer, jint size) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -184,11 +184,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkBitVectorSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFloatingPointSort * Signature: (JII)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkFloatingPointSort( JNIEnv* env, jobject, jlong pointer, jint exp, jint sig) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -200,11 +200,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkDatatypeSort * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkDatatypeSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkDatatypeSort( JNIEnv* env, jobject, jlong pointer, jlong datatypeDeclPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -216,12 +216,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkDatatypeSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkDatatypeSorts * Signature: (J[J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Solver_mkDatatypeSorts__J_3J(JNIEnv* env, +Java_io_github_cvc5_Solver_mkDatatypeSorts__J_3J(JNIEnv* env, jobject, jlong pointer, jlongArray jDecls) @@ -245,12 +245,12 @@ Java_io_github_cvc5_api_Solver_mkDatatypeSorts__J_3J(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkDatatypeSorts * Signature: (J[J[J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Solver_mkDatatypeSorts__J_3J_3J(JNIEnv* env, +Java_io_github_cvc5_Solver_mkDatatypeSorts__J_3J_3J(JNIEnv* env, jobject, jlong pointer, jlongArray jDecls, @@ -270,12 +270,12 @@ Java_io_github_cvc5_api_Solver_mkDatatypeSorts__J_3J_3J(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFunctionSort * Signature: (JJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkFunctionSort__JJJ(JNIEnv* env, +Java_io_github_cvc5_Solver_mkFunctionSort__JJJ(JNIEnv* env, jobject, jlong pointer, jlong domainPointer, @@ -291,12 +291,12 @@ Java_io_github_cvc5_api_Solver_mkFunctionSort__JJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFunctionSort * Signature: (J[JJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkFunctionSort__J_3JJ(JNIEnv* env, +Java_io_github_cvc5_Solver_mkFunctionSort__J_3JJ(JNIEnv* env, jobject, jlong pointer, jlongArray sortPointers, @@ -312,11 +312,11 @@ Java_io_github_cvc5_api_Solver_mkFunctionSort__J_3JJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkParamSort * Signature: (JLjava/lang/String;)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkParamSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkParamSort( JNIEnv* env, jobject, jlong pointer, jstring jSymbol) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -330,11 +330,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkParamSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkPredicateSort * Signature: (J[J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkPredicateSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkPredicateSort( JNIEnv* env, jobject, jlong pointer, jlongArray sortPointers) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -346,18 +346,18 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkPredicateSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkRecordSort - * Signature: (J[Lio/github/cvc5/api/Pair;)J + * Signature: (J[Lio/github/cvc5/Pair;)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRecordSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkRecordSort( JNIEnv* env, jobject, jlong pointer, jobjectArray jFields) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Solver* solver = reinterpret_cast(pointer); jsize size = env->GetArrayLength(jFields); - // Lio/github/cvc5/api/Pair; is signature of cvc5.Pair - jclass pairClass = env->FindClass("Lio/github/cvc5/api/Pair;"); + // Lio/github/cvc5/Pair; is signature of cvc5.Pair + jclass pairClass = env->FindClass("Lio/github/cvc5/Pair;"); jclass longClass = env->FindClass("Ljava/lang/Long;"); // Ljava/lang/Object; is the signature of cvc5.Pair.first field jfieldID firstFieldId = @@ -394,11 +394,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRecordSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkSetSort * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkSetSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkSetSort( JNIEnv* env, jobject, jlong pointer, jlong elemSortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -410,11 +410,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkSetSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkBagSort * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkBagSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkBagSort( JNIEnv* env, jobject, jlong pointer, jlong elemSortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -426,11 +426,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkBagSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkSequenceSort * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkSequenceSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkSequenceSort( JNIEnv* env, jobject, jlong pointer, jlong elemSortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -442,11 +442,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkSequenceSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkUninterpretedSort * Signature: (JLjava/lang/String;)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkUninterpretedSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkUninterpretedSort( JNIEnv* env, jobject, jlong pointer, jstring jSymbol) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -461,11 +461,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkUninterpretedSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkUnresolvedSort * Signature: (JLjava/lang/String;I)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkUnresolvedSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkUnresolvedSort( JNIEnv* env, jobject, jlong pointer, jstring jSymbol, jint arity) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -481,12 +481,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkUnresolvedSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkUninterpretedSortConstructorSort * Signature: (JLjava/lang/String;I)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkUninterpretedSortConstructorSort( +Java_io_github_cvc5_Solver_mkUninterpretedSortConstructorSort( JNIEnv* env, jobject, jlong pointer, jstring jSymbol, jint arity) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -503,11 +503,11 @@ Java_io_github_cvc5_api_Solver_mkUninterpretedSortConstructorSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTupleSort * Signature: (J[J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTupleSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkTupleSort( JNIEnv* env, jobject, jlong pointer, jlongArray sortPointers) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -519,11 +519,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTupleSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JI)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTerm__JI( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkTerm__JI( JNIEnv* env, jobject, jlong pointer, jint kindValue) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -535,11 +535,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTerm__JI( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JIJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTerm__JIJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkTerm__JIJ( JNIEnv* env, jobject, jlong pointer, jint kindValue, jlong childPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -552,12 +552,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTerm__JIJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JIJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkTerm__JIJJ(JNIEnv* env, +Java_io_github_cvc5_Solver_mkTerm__JIJJ(JNIEnv* env, jobject, jlong pointer, jint kindValue, @@ -575,12 +575,12 @@ Java_io_github_cvc5_api_Solver_mkTerm__JIJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JIJJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkTerm__JIJJJ(JNIEnv* env, +Java_io_github_cvc5_Solver_mkTerm__JIJJJ(JNIEnv* env, jobject, jlong pointer, jint kindValue, @@ -601,12 +601,12 @@ Java_io_github_cvc5_api_Solver_mkTerm__JIJJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JI[J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkTerm__JI_3J(JNIEnv* env, +Java_io_github_cvc5_Solver_mkTerm__JI_3J(JNIEnv* env, jobject, jlong pointer, jint kindValue, @@ -623,11 +623,11 @@ Java_io_github_cvc5_api_Solver_mkTerm__JI_3J(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTerm__JJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkTerm__JJ( JNIEnv* env, jobject, jlong pointer, jlong opPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -639,11 +639,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTerm__JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JJJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTerm__JJJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkTerm__JJJ( JNIEnv* env, jobject, jlong pointer, jlong opPointer, jlong childPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -656,12 +656,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTerm__JJJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JJJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkTerm__JJJJ(JNIEnv* env, +Java_io_github_cvc5_Solver_mkTerm__JJJJ(JNIEnv* env, jobject, jlong pointer, jlong opPointer, @@ -679,12 +679,12 @@ Java_io_github_cvc5_api_Solver_mkTerm__JJJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JJJJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkTerm__JJJJJ(JNIEnv* env, +Java_io_github_cvc5_Solver_mkTerm__JJJJJ(JNIEnv* env, jobject, jlong pointer, jlong opPointer, @@ -704,12 +704,12 @@ Java_io_github_cvc5_api_Solver_mkTerm__JJJJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTerm * Signature: (JJ[J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkTerm__JJ_3J(JNIEnv* env, +Java_io_github_cvc5_Solver_mkTerm__JJ_3J(JNIEnv* env, jobject, jlong pointer, jlong opPointer, @@ -726,12 +726,12 @@ Java_io_github_cvc5_api_Solver_mkTerm__JJ_3J(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTuple * Signature: (J[J[J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkTuple(JNIEnv* env, +Java_io_github_cvc5_Solver_mkTuple(JNIEnv* env, jobject, jlong pointer, jlongArray sortPointers, @@ -747,11 +747,11 @@ Java_io_github_cvc5_api_Solver_mkTuple(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkOp * Signature: (JI)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkOp__JI(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkOp__JI(JNIEnv* env, jobject, jlong pointer, jint kindValue) @@ -765,12 +765,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkOp__JI(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkOp * Signature: (JILjava/lang/String;)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkOp__JILjava_lang_String_2( +Java_io_github_cvc5_Solver_mkOp__JILjava_lang_String_2( JNIEnv* env, jobject, jlong pointer, jint kindValue, jstring jArg) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -787,11 +787,11 @@ Java_io_github_cvc5_api_Solver_mkOp__JILjava_lang_String_2( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkOp * Signature: (JII)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkOp__JII( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkOp__JII( JNIEnv* env, jobject, jlong pointer, jint kindValue, jint arg) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -803,11 +803,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkOp__JII( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkOp * Signature: (JIII)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkOp__JIII( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkOp__JIII( JNIEnv* env, jobject, jlong pointer, jint kindValue, jint arg1, jint arg2) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -819,11 +819,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkOp__JIII( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkOp * Signature: (JI[I)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkOp__JI_3I( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkOp__JI_3I( JNIEnv* env, jobject, jlong pointer, jint kindValue, jintArray jArgs) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -846,11 +846,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkOp__JI_3I( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkTrue * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTrue(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkTrue(JNIEnv* env, jobject, jlong pointer) { @@ -862,11 +862,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkTrue(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFalse * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFalse(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkFalse(JNIEnv* env, jobject, jlong pointer) { @@ -878,11 +878,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFalse(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkBoolean * Signature: (JZ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkBoolean(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkBoolean(JNIEnv* env, jobject, jlong pointer, jboolean val) @@ -895,11 +895,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkBoolean(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkPi * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkPi(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkPi(JNIEnv* env, jobject, jlong pointer) { @@ -911,12 +911,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkPi(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkInteger * Signature: (JLjava/lang/String;)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkInteger__JLjava_lang_String_2(JNIEnv* env, +Java_io_github_cvc5_Solver_mkInteger__JLjava_lang_String_2(JNIEnv* env, jobject, jlong pointer, jstring jS) @@ -932,11 +932,11 @@ Java_io_github_cvc5_api_Solver_mkInteger__JLjava_lang_String_2(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkInteger * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkInteger__JJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkInteger__JJ( JNIEnv* env, jobject, jlong pointer, jlong val) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -947,12 +947,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkInteger__JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkReal * Signature: (JLjava/lang/String;)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkReal__JLjava_lang_String_2(JNIEnv* env, +Java_io_github_cvc5_Solver_mkReal__JLjava_lang_String_2(JNIEnv* env, jobject, jlong pointer, jstring jS) @@ -968,11 +968,11 @@ Java_io_github_cvc5_api_Solver_mkReal__JLjava_lang_String_2(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkRealValue * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRealValue( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkRealValue( JNIEnv* env, jobject, jlong pointer, jlong val) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -983,11 +983,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRealValue( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkReal * Signature: (JJJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkReal__JJJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkReal__JJJ( JNIEnv* env, jobject, jlong pointer, jlong num, jlong den) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -998,11 +998,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkReal__JJJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkRegexpNone * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRegexpNone( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkRegexpNone( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1013,12 +1013,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRegexpNone( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkRegexpAll * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkRegexpAll(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Solver_mkRegexpAll(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Solver* solver = reinterpret_cast(pointer); @@ -1028,11 +1028,11 @@ Java_io_github_cvc5_api_Solver_mkRegexpAll(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkRegexpAllchar * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRegexpAllchar( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkRegexpAllchar( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1043,11 +1043,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRegexpAllchar( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkEmptySet * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkEmptySet( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkEmptySet( JNIEnv* env, jobject, jlong pointer, jlong sortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1059,11 +1059,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkEmptySet( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkEmptyBag * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkEmptyBag( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkEmptyBag( JNIEnv* env, jobject, jlong pointer, jlong sortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1075,11 +1075,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkEmptyBag( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkSepEmp * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkSepEmp(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkSepEmp(JNIEnv* env, jobject, jlong pointer) { @@ -1091,11 +1091,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkSepEmp(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkSepNil * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkSepNil( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkSepNil( JNIEnv* env, jobject, jlong pointer, jlong sortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1107,12 +1107,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkSepNil( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkString * Signature: (JLjava/lang/String;Z)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkString__JLjava_lang_String_2Z( +Java_io_github_cvc5_Solver_mkString__JLjava_lang_String_2Z( JNIEnv* env, jobject, jlong pointer, jstring jS, jboolean useEscSequences) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1126,11 +1126,11 @@ Java_io_github_cvc5_api_Solver_mkString__JLjava_lang_String_2Z( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkEmptySequence * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkEmptySequence( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkEmptySequence( JNIEnv* env, jobject, jlong pointer, jlong sortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1142,11 +1142,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkEmptySequence( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkUniverseSet * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkUniverseSet( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkUniverseSet( JNIEnv* env, jobject, jlong pointer, jlong sortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1158,11 +1158,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkUniverseSet( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkBitVector * Signature: (JIJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkBitVector__JIJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkBitVector__JIJ( JNIEnv* env, jobject, jlong pointer, jint size, jlong val) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1174,12 +1174,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkBitVector__JIJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkBitVector * Signature: (JILjava/lang/String;I)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkBitVector__JILjava_lang_String_2I( +Java_io_github_cvc5_Solver_mkBitVector__JILjava_lang_String_2I( JNIEnv* env, jobject, jlong pointer, jint size, jstring jS, jint base) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1194,11 +1194,11 @@ Java_io_github_cvc5_api_Solver_mkBitVector__JILjava_lang_String_2I( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkConstArray * Signature: (JJJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkConstArray( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkConstArray( JNIEnv* env, jobject, jlong pointer, jlong sortPointer, jlong valPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1211,11 +1211,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkConstArray( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFloatingPointPosInf * Signature: (JII)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointPosInf( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkFloatingPointPosInf( JNIEnv* env, jobject, jlong pointer, jint exp, jint sig) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1227,11 +1227,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointPosInf( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFloatingPointNegInf * Signature: (JII)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointNegInf( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkFloatingPointNegInf( JNIEnv* env, jobject, jlong pointer, jint exp, jint sig) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1243,11 +1243,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointNegInf( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFloatingPointNaN * Signature: (JII)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointNaN( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkFloatingPointNaN( JNIEnv* env, jobject, jlong pointer, jint exp, jint sig) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1259,11 +1259,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointNaN( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFloatingPointPosZero * Signature: (JII)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointPosZero( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkFloatingPointPosZero( JNIEnv* env, jobject, jlong pointer, jint exp, jint sig) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1275,11 +1275,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointPosZero( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFloatingPointNegZero * Signature: (JII)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointNegZero( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkFloatingPointNegZero( JNIEnv* env, jobject, jlong pointer, jint exp, jint sig) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1291,11 +1291,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPointNegZero( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkRoundingMode * Signature: (JI)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRoundingMode( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkRoundingMode( JNIEnv* env, jobject, jlong pointer, jint rm) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1306,11 +1306,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkRoundingMode( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkFloatingPoint * Signature: (JIIJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPoint( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkFloatingPoint( JNIEnv* env, jobject, jlong pointer, jint exp, jint sig, jlong valPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1323,11 +1323,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkFloatingPoint( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkCardinalityConstraint * Signature: (JJI)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkCardinalityConstraint( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkCardinalityConstraint( JNIEnv* env, jobject, jlong pointer, jlong sortPointer, jint upperBound) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1340,12 +1340,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkCardinalityConstraint( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkConst * Signature: (JJLjava/lang/String;)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkConst__JJLjava_lang_String_2( +Java_io_github_cvc5_Solver_mkConst__JJLjava_lang_String_2( JNIEnv* env, jobject, jlong pointer, jlong sortPointer, jstring jSymbol) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1360,11 +1360,11 @@ Java_io_github_cvc5_api_Solver_mkConst__JJLjava_lang_String_2( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkConst * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkConst__JJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkConst__JJ( JNIEnv* env, jobject, jlong pointer, jlong sortPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1376,11 +1376,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkConst__JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkVar * Signature: (JJLjava/lang/String;)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkVar( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_mkVar( JNIEnv* env, jobject, jlong pointer, jlong sortPointer, jstring jSymbol) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1396,12 +1396,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_mkVar( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkDatatypeConstructorDecl * Signature: (JLjava/lang/String;)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkDatatypeConstructorDecl(JNIEnv* env, +Java_io_github_cvc5_Solver_mkDatatypeConstructorDecl(JNIEnv* env, jobject, jlong pointer, jstring jName) @@ -1419,12 +1419,12 @@ Java_io_github_cvc5_api_Solver_mkDatatypeConstructorDecl(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkDatatypeDecl * Signature: (JLjava/lang/String;Z)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkDatatypeDecl__JLjava_lang_String_2Z( +Java_io_github_cvc5_Solver_mkDatatypeDecl__JLjava_lang_String_2Z( JNIEnv* env, jobject, jlong pointer, jstring jName, jboolean isCoDatatype) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1439,12 +1439,12 @@ Java_io_github_cvc5_api_Solver_mkDatatypeDecl__JLjava_lang_String_2Z( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkDatatypeDecl * Signature: (JLjava/lang/String;JZ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkDatatypeDecl__JLjava_lang_String_2JZ( +Java_io_github_cvc5_Solver_mkDatatypeDecl__JLjava_lang_String_2JZ( JNIEnv* env, jobject, jlong pointer, @@ -1465,12 +1465,12 @@ Java_io_github_cvc5_api_Solver_mkDatatypeDecl__JLjava_lang_String_2JZ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkDatatypeDecl * Signature: (JLjava/lang/String;[JZ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkDatatypeDecl__JLjava_lang_String_2_3JZ( +Java_io_github_cvc5_Solver_mkDatatypeDecl__JLjava_lang_String_2_3JZ( JNIEnv* env, jobject, jlong pointer, @@ -1491,11 +1491,11 @@ Java_io_github_cvc5_api_Solver_mkDatatypeDecl__JLjava_lang_String_2_3JZ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: simplify * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_simplify( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_simplify( JNIEnv* env, jobject, jlong pointer, jlong termPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1507,11 +1507,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_simplify( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: assertFormula * Signature: (JJ)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_assertFormula( +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_assertFormula( JNIEnv* env, jobject, jlong pointer, jlong termPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1522,11 +1522,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_assertFormula( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: checkSat * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSat(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_checkSat(JNIEnv* env, jobject, jlong pointer) { @@ -1538,11 +1538,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSat(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: checkSatAssuming * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSatAssuming__JJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_checkSatAssuming__JJ( JNIEnv* env, jobject, jlong pointer, jlong assumptionPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1554,11 +1554,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSatAssuming__JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: checkSatAssuming * Signature: (J[J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSatAssuming__J_3J( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_checkSatAssuming__J_3J( JNIEnv* env, jobject, jlong pointer, jlongArray jAssumptions) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1571,11 +1571,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSatAssuming__J_3J( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: declareDatatype * Signature: (JLjava/lang/String;[J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_declareDatatype( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_declareDatatype( JNIEnv* env, jobject, jlong pointer, jstring jSymbol, jlongArray jCtors) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1591,12 +1591,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_declareDatatype( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: declareFun * Signature: (JLjava/lang/String;[JJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_declareFun(JNIEnv* env, +Java_io_github_cvc5_Solver_declareFun(JNIEnv* env, jobject, jlong pointer, jstring jSymbol, @@ -1616,11 +1616,11 @@ Java_io_github_cvc5_api_Solver_declareFun(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: declareSort * Signature: (JLjava/lang/String;I)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_declareSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_declareSort( JNIEnv* env, jobject, jlong pointer, jstring jSymbol, jint arity) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1633,12 +1633,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_declareSort( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: defineFun * Signature: (JLjava/lang/String;[JJJZ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_defineFun(JNIEnv* env, +Java_io_github_cvc5_Solver_defineFun(JNIEnv* env, jobject, jlong pointer, jstring jSymbol, @@ -1662,12 +1662,12 @@ Java_io_github_cvc5_api_Solver_defineFun(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: defineFunRec * Signature: (JLjava/lang/String;[JJJZ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_defineFunRec__JLjava_lang_String_2_3JJJZ( +Java_io_github_cvc5_Solver_defineFunRec__JLjava_lang_String_2_3JJJZ( JNIEnv* env, jobject, jlong pointer, @@ -1692,12 +1692,12 @@ Java_io_github_cvc5_api_Solver_defineFunRec__JLjava_lang_String_2_3JJJZ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: defineFunRec * Signature: (JJ[JJZ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_defineFunRec__JJ_3JJZ(JNIEnv* env, +Java_io_github_cvc5_Solver_defineFunRec__JJ_3JJZ(JNIEnv* env, jobject, jlong pointer, jlong funPointer, @@ -1717,12 +1717,12 @@ Java_io_github_cvc5_api_Solver_defineFunRec__JJ_3JJZ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: defineFunsRec * Signature: (J[J[[J[JZ)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_Solver_defineFunsRec(JNIEnv* env, +Java_io_github_cvc5_Solver_defineFunsRec(JNIEnv* env, jobject, jlong pointer, jlongArray jFuns, @@ -1754,11 +1754,11 @@ Java_io_github_cvc5_api_Solver_defineFunsRec(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getLearnedLiterals * Signature: (J)[J */ -JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getLearnedLiterals( +JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_Solver_getLearnedLiterals( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1770,11 +1770,11 @@ JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getLearnedLiterals( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getAssertions * Signature: (J)[J */ -JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getAssertions( +JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_Solver_getAssertions( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1786,11 +1786,11 @@ JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getAssertions( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getInfo * Signature: (JLjava/lang/String;)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Solver_getInfo(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Solver_getInfo(JNIEnv* env, jobject, jlong pointer, jstring jFlag) @@ -1805,11 +1805,11 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Solver_getInfo(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getOption * Signature: (JLjava/lang/String;)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Solver_getOption( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Solver_getOption( JNIEnv* env, jobject, jlong pointer, jstring jOption) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1822,11 +1822,11 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Solver_getOption( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getOptionNames * Signature: (J)[Ljava/lang/String; */ -JNIEXPORT jobjectArray JNICALL Java_io_github_cvc5_api_Solver_getOptionNames( +JNIEXPORT jobjectArray JNICALL Java_io_github_cvc5_Solver_getOptionNames( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1838,11 +1838,11 @@ JNIEXPORT jobjectArray JNICALL Java_io_github_cvc5_api_Solver_getOptionNames( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getOptionInfo * Signature: (JLjava/lang/String;)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getOptionInfo( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getOptionInfo( JNIEnv* env, jobject, jlong pointer, jstring jOption) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1854,11 +1854,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getOptionInfo( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getDriverOptions * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getDriverOptions( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getDriverOptions( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1869,11 +1869,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getDriverOptions( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getUnsatAssumptions * Signature: (J)[J */ -JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getUnsatAssumptions( +JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_Solver_getUnsatAssumptions( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1885,12 +1885,12 @@ JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getUnsatAssumptions( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getUnsatCore * Signature: (J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Solver_getUnsatCore(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Solver_getUnsatCore(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Solver* solver = reinterpret_cast(pointer); @@ -1901,11 +1901,11 @@ Java_io_github_cvc5_api_Solver_getUnsatCore(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getDifficulty * Signature: (J)Ljava/util/Map; */ -JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Solver_getDifficulty( +JNIEXPORT jobject JNICALL Java_io_github_cvc5_Solver_getDifficulty( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1940,11 +1940,11 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Solver_getDifficulty( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getProof * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Solver_getProof(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Solver_getProof(JNIEnv* env, jobject, jlong pointer) { @@ -1956,11 +1956,11 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Solver_getProof(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getValue * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getValue__JJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getValue__JJ( JNIEnv* env, jobject, jlong pointer, jlong termPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1972,11 +1972,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getValue__JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getValue * Signature: (J[J)[J */ -JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getValue__J_3J( +JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_Solver_getValue__J_3J( JNIEnv* env, jobject, jlong pointer, jlongArray termPointers) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -1989,12 +1989,12 @@ JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getValue__J_3J( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getModelDomainElements * Signature: (JJ)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Solver_getModelDomainElements(JNIEnv* env, +Java_io_github_cvc5_Solver_getModelDomainElements(JNIEnv* env, jobject, jlong pointer, jlong sortPointer) @@ -2009,11 +2009,11 @@ Java_io_github_cvc5_api_Solver_getModelDomainElements(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: isModelCoreSymbol * Signature: (JJ)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Solver_isModelCoreSymbol( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Solver_isModelCoreSymbol( JNIEnv* env, jobject, jlong pointer, jlong termPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2024,12 +2024,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Solver_isModelCoreSymbol( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getModel * Signature: (J[J[J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Solver_getModel(JNIEnv* env, +Java_io_github_cvc5_Solver_getModel(JNIEnv* env, jobject, jlong pointer, jlongArray sortPointers, @@ -2045,11 +2045,11 @@ Java_io_github_cvc5_api_Solver_getModel(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getQuantifierElimination * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getQuantifierElimination( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getQuantifierElimination( JNIEnv* env, jobject, jlong pointer, jlong qPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2061,12 +2061,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getQuantifierElimination( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getQuantifierEliminationDisjunct * Signature: (JJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_getQuantifierEliminationDisjunct(JNIEnv* env, +Java_io_github_cvc5_Solver_getQuantifierEliminationDisjunct(JNIEnv* env, jobject, jlong pointer, jlong qPointer) @@ -2080,12 +2080,12 @@ Java_io_github_cvc5_api_Solver_getQuantifierEliminationDisjunct(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: declareSepHeap * Signature: (JJJ)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_Solver_declareSepHeap(JNIEnv* env, +Java_io_github_cvc5_Solver_declareSepHeap(JNIEnv* env, jobject, jlong pointer, jlong locSortPointer, @@ -2100,11 +2100,11 @@ Java_io_github_cvc5_api_Solver_declareSepHeap(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getValueSepHeap * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getValueSepHeap( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getValueSepHeap( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2115,11 +2115,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getValueSepHeap( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getValueSepNil * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getValueSepNil( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getValueSepNil( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2130,11 +2130,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getValueSepNil( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: pop * Signature: (JI)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_pop(JNIEnv* env, +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_pop(JNIEnv* env, jobject, jlong pointer, jint nscopes) @@ -2146,11 +2146,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_pop(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getInterpolant * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getInterpolant__JJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getInterpolant__JJ( JNIEnv* env, jobject, jlong pointer, jlong conjPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2162,12 +2162,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getInterpolant__JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getInterpolant * Signature: (JJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_getInterpolant__JJJ(JNIEnv* env, +Java_io_github_cvc5_Solver_getInterpolant__JJJ(JNIEnv* env, jobject, jlong pointer, jlong conjPointer, @@ -2183,11 +2183,11 @@ Java_io_github_cvc5_api_Solver_getInterpolant__JJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getInterpolantNext * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getInterpolantNext( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getInterpolantNext( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2198,11 +2198,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getInterpolantNext( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getAbduct * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getAbduct__JJ( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getAbduct__JJ( JNIEnv* env, jobject, jlong pointer, jlong conjPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2214,12 +2214,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getAbduct__JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getAbduct * Signature: (JJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_getAbduct__JJJ(JNIEnv* env, +Java_io_github_cvc5_Solver_getAbduct__JJJ(JNIEnv* env, jobject, jlong pointer, jlong conjPointer, @@ -2235,11 +2235,11 @@ Java_io_github_cvc5_api_Solver_getAbduct__JJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getAbductNext * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getAbductNext( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getAbductNext( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2250,11 +2250,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getAbductNext( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: blockModel * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_blockModel(JNIEnv* env, +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_blockModel(JNIEnv* env, jobject, jlong pointer) { @@ -2265,11 +2265,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_blockModel(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: blockModelValues * Signature: (J[J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_blockModelValues( +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_blockModelValues( JNIEnv* env, jobject, jlong pointer, jlongArray jTerms) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2280,12 +2280,12 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_blockModelValues( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getInstantiations * Signature: (J[J[J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Solver_getInstantiations(JNIEnv* env, +Java_io_github_cvc5_Solver_getInstantiations(JNIEnv* env, jobject, jlong pointer) { @@ -2297,11 +2297,11 @@ Java_io_github_cvc5_api_Solver_getInstantiations(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: push * Signature: (JI)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_push(JNIEnv* env, +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_push(JNIEnv* env, jobject, jlong pointer, jint nscopes) @@ -2313,11 +2313,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_push(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: resetAssertions * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_resetAssertions( +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_resetAssertions( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2327,11 +2327,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_resetAssertions( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: setInfo * Signature: (JLjava/lang/String;Ljava/lang/String;)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_setInfo( +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_setInfo( JNIEnv* env, jobject, jlong pointer, jstring jKeyword, jstring jValue) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2347,11 +2347,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_setInfo( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: setLogic * Signature: (JLjava/lang/String;)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_setLogic(JNIEnv* env, +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_setLogic(JNIEnv* env, jobject, jlong pointer, jstring jLogic) @@ -2366,11 +2366,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_setLogic(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: setOption * Signature: (JLjava/lang/String;Ljava/lang/String;)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_setOption( +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_setOption( JNIEnv* env, jobject, jlong pointer, jstring jOption, jstring jValue) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2386,11 +2386,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_setOption( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: declareSygusVar * Signature: (JJLjava/lang/String;)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_declareSygusVar( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_declareSygusVar( JNIEnv* env, jobject, jlong pointer, jlong sortPointer, jstring jSymbol) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2405,12 +2405,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_declareSygusVar( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: mkSygusGrammar * Signature: (J[J[J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_mkSygusGrammar(JNIEnv* env, +Java_io_github_cvc5_Solver_mkSygusGrammar(JNIEnv* env, jobject, jlong pointer, jlongArray jBoundVars, @@ -2427,12 +2427,12 @@ Java_io_github_cvc5_api_Solver_mkSygusGrammar(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: synthFun * Signature: (JLjava/lang/String;[JJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_synthFun__JLjava_lang_String_2_3JJ( +Java_io_github_cvc5_Solver_synthFun__JLjava_lang_String_2_3JJ( JNIEnv* env, jobject, jlong pointer, @@ -2453,12 +2453,12 @@ Java_io_github_cvc5_api_Solver_synthFun__JLjava_lang_String_2_3JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: synthFun * Signature: (JLjava/lang/String;[JJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_synthFun__JLjava_lang_String_2_3JJJ( +Java_io_github_cvc5_Solver_synthFun__JLjava_lang_String_2_3JJJ( JNIEnv* env, jobject, jlong pointer, @@ -2482,12 +2482,12 @@ Java_io_github_cvc5_api_Solver_synthFun__JLjava_lang_String_2_3JJJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: synthInv * Signature: (JLjava/lang/String;[J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_synthInv__JLjava_lang_String_2_3J( +Java_io_github_cvc5_Solver_synthInv__JLjava_lang_String_2_3J( JNIEnv* env, jobject, jlong pointer, jstring jSymbol, jlongArray jVars) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2502,12 +2502,12 @@ Java_io_github_cvc5_api_Solver_synthInv__JLjava_lang_String_2_3J( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: synthInv * Signature: (JLjava/lang/String;[JJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_synthInv__JLjava_lang_String_2_3JJ( +Java_io_github_cvc5_Solver_synthInv__JLjava_lang_String_2_3JJ( JNIEnv* env, jobject, jlong pointer, @@ -2528,11 +2528,11 @@ Java_io_github_cvc5_api_Solver_synthInv__JLjava_lang_String_2_3JJ( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: addSygusConstraint * Signature: (JJ)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_addSygusConstraint( +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_addSygusConstraint( JNIEnv* env, jobject, jlong pointer, jlong termPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2543,11 +2543,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_addSygusConstraint( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: addSygusAssume * Signature: (JJ)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_addSygusAssume( +JNIEXPORT void JNICALL Java_io_github_cvc5_Solver_addSygusAssume( JNIEnv* env, jobject, jlong pointer, jlong termPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2558,12 +2558,12 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Solver_addSygusAssume( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: addSygusInvConstraint * Signature: (JJJJJ)V */ JNIEXPORT void JNICALL -Java_io_github_cvc5_api_Solver_addSygusInvConstraint(JNIEnv* env, +Java_io_github_cvc5_Solver_addSygusInvConstraint(JNIEnv* env, jobject, jlong pointer, jlong invPointer, @@ -2582,11 +2582,11 @@ Java_io_github_cvc5_api_Solver_addSygusInvConstraint(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: checkSynth * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSynth(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_checkSynth(JNIEnv* env, jobject, jlong pointer) { @@ -2598,11 +2598,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSynth(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: checkSynthNext * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSynthNext( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_checkSynthNext( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2613,11 +2613,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_checkSynthNext( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getSynthSolution * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getSynthSolution( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getSynthSolution( JNIEnv* env, jobject, jlong pointer, jlong termPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2629,11 +2629,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getSynthSolution( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getSynthSolutions * Signature: (J[J)[J */ -JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getSynthSolutions( +JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_Solver_getSynthSolutions( JNIEnv* env, jobject, jlong pointer, jlongArray jTerms) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2646,11 +2646,11 @@ JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Solver_getSynthSolutions( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getStatistics * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getStatistics( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getStatistics( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -2661,11 +2661,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getStatistics( } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getNullTerm * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getNullTerm(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getNullTerm(JNIEnv* env, jobject, jlong) { @@ -2676,12 +2676,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getNullTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getNullResult * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_getNullResult(JNIEnv* env, jobject, jlong) +Java_io_github_cvc5_Solver_getNullResult(JNIEnv* env, jobject, jlong) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Result* ret = new Result(); @@ -2690,12 +2690,12 @@ Java_io_github_cvc5_api_Solver_getNullResult(JNIEnv* env, jobject, jlong) } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getNullSynthResult * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_getNullSynthResult(JNIEnv* env, jobject, jlong) +Java_io_github_cvc5_Solver_getNullSynthResult(JNIEnv* env, jobject, jlong) { CVC5_JAVA_API_TRY_CATCH_BEGIN; SynthResult* ret = new SynthResult(); @@ -2704,11 +2704,11 @@ Java_io_github_cvc5_api_Solver_getNullSynthResult(JNIEnv* env, jobject, jlong) } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getNullOp * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getNullOp(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Solver_getNullOp(JNIEnv* env, jobject, jlong) { @@ -2719,12 +2719,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Solver_getNullOp(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Solver + * Class: io_github_cvc5_Solver * Method: getNullDatatypeDecl * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Solver_getNullDatatypeDecl(JNIEnv* env, jobject, jlong) +Java_io_github_cvc5_Solver_getNullDatatypeDecl(JNIEnv* env, jobject, jlong) { CVC5_JAVA_API_TRY_CATCH_BEGIN; DatatypeDecl* ret = new DatatypeDecl(); diff --git a/src/api/java/jni/sort.cpp b/src/api/java/jni/sort.cpp index 5f7d7302a..f6a8c0c2a 100644 --- a/src/api/java/jni/sort.cpp +++ b/src/api/java/jni/sort.cpp @@ -15,16 +15,16 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Sort.h" +#include "io_github_cvc5_Sort.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Sort_deletePointer(JNIEnv*, +JNIEXPORT void JNICALL Java_io_github_cvc5_Sort_deletePointer(JNIEnv*, jobject, jlong pointer) { @@ -32,11 +32,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Sort_deletePointer(JNIEnv*, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: equals * Signature: (JJ)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_equals(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_equals(JNIEnv* env, jobject, jlong pointer1, jlong pointer2) @@ -49,11 +49,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_equals(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: compareTo * Signature: (JJ)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_compareTo(JNIEnv* env, +JNIEXPORT jint JNICALL Java_io_github_cvc5_Sort_compareTo(JNIEnv* env, jobject, jlong pointer1, jlong pointer2) @@ -74,11 +74,11 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_compareTo(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: hasSymbol * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_hasSymbol(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_hasSymbol(JNIEnv* env, jobject, jlong pointer) { @@ -89,11 +89,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_hasSymbol(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getSymbol * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Sort_getSymbol(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Sort_getSymbol(JNIEnv* env, jobject, jlong pointer) { @@ -104,11 +104,11 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Sort_getSymbol(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isNull * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isNull(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isNull(JNIEnv* env, jobject, jlong pointer) { @@ -119,11 +119,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isNull(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isBoolean * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isBoolean(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isBoolean(JNIEnv* env, jobject, jlong pointer) { @@ -134,11 +134,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isBoolean(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isInteger * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isInteger(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isInteger(JNIEnv* env, jobject, jlong pointer) { @@ -149,11 +149,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isInteger(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isReal * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isReal(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isReal(JNIEnv* env, jobject, jlong pointer) { @@ -164,11 +164,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isReal(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isString * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isString(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isString(JNIEnv* env, jobject, jlong pointer) { @@ -179,11 +179,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isString(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isRegExp * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isRegExp(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isRegExp(JNIEnv* env, jobject, jlong pointer) { @@ -194,12 +194,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isRegExp(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isRoundingMode * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isRoundingMode(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isRoundingMode(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -208,12 +208,12 @@ Java_io_github_cvc5_api_Sort_isRoundingMode(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isBitVector * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isBitVector(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isBitVector(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -222,11 +222,11 @@ Java_io_github_cvc5_api_Sort_isBitVector(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isFloatingPoint * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isFloatingPoint( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isFloatingPoint( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -236,12 +236,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isFloatingPoint( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isDatatype * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isDatatype(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isDatatype(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -250,12 +250,12 @@ Java_io_github_cvc5_api_Sort_isDatatype(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isConstructor * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isConstructor(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isConstructor(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -264,12 +264,12 @@ Java_io_github_cvc5_api_Sort_isConstructor(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isSelector * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isSelector(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isSelector(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -278,11 +278,11 @@ Java_io_github_cvc5_api_Sort_isSelector(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isTester * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isTester(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isTester(JNIEnv* env, jobject, jlong pointer) { @@ -293,11 +293,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isTester(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isUpdater * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isUpdater(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isUpdater(JNIEnv* env, jobject, jlong pointer) { @@ -308,12 +308,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isUpdater(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isFunction * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isFunction(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isFunction(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -322,12 +322,12 @@ Java_io_github_cvc5_api_Sort_isFunction(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isPredicate * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isPredicate(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isPredicate(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -336,11 +336,11 @@ Java_io_github_cvc5_api_Sort_isPredicate(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isTuple * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isTuple(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isTuple(JNIEnv* env, jobject, jlong pointer) { @@ -351,11 +351,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isTuple(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isRecord * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isRecord(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isRecord(JNIEnv* env, jobject, jlong pointer) { @@ -366,11 +366,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isRecord(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isArray * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isArray(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isArray(JNIEnv* env, jobject, jlong pointer) { @@ -381,11 +381,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isArray(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isSet * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isSet(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isSet(JNIEnv* env, jobject, jlong pointer) { @@ -396,11 +396,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isSet(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isBag * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isBag(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isBag(JNIEnv* env, jobject, jlong pointer) { @@ -411,12 +411,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isBag(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isSequence * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isSequence(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isSequence(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -425,11 +425,11 @@ Java_io_github_cvc5_api_Sort_isSequence(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isUninterpretedSort * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isUninterpretedSort( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Sort_isUninterpretedSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -439,12 +439,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Sort_isUninterpretedSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isUninterpretedSortConstructor * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isUninterpretedSortConstructor(JNIEnv* env, +Java_io_github_cvc5_Sort_isUninterpretedSortConstructor(JNIEnv* env, jobject, jlong pointer) { @@ -455,12 +455,12 @@ Java_io_github_cvc5_api_Sort_isUninterpretedSortConstructor(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: isInstantiated * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Sort_isInstantiated(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_isInstantiated(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -469,12 +469,12 @@ Java_io_github_cvc5_api_Sort_isInstantiated(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getInstantiatedParameters * Signature: (J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Sort_getInstantiatedParameters(JNIEnv* env, +Java_io_github_cvc5_Sort_getInstantiatedParameters(JNIEnv* env, jobject, jlong pointer) { @@ -493,12 +493,12 @@ Java_io_github_cvc5_api_Sort_getInstantiatedParameters(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getUninterpretedSortConstructor * Signature: (J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Sort_getUninterpretedSortConstructor(JNIEnv* env, +Java_io_github_cvc5_Sort_getUninterpretedSortConstructor(JNIEnv* env, jobject, jlong pointer) { @@ -510,11 +510,11 @@ Java_io_github_cvc5_api_Sort_getUninterpretedSortConstructor(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getDatatype * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getDatatype(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getDatatype(JNIEnv* env, jobject, jlong pointer) { @@ -526,11 +526,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getDatatype(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: instantiate * Signature: (J[J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_instantiate( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_instantiate( JNIEnv* env, jobject, jlong pointer, jlongArray paramsPointers) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -557,12 +557,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_instantiate( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: substitute * Signature: (JJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Sort_substitute__JJJ(JNIEnv* env, +Java_io_github_cvc5_Sort_substitute__JJJ(JNIEnv* env, jobject, jlong pointer, jlong sortPointer, @@ -578,12 +578,12 @@ Java_io_github_cvc5_api_Sort_substitute__JJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: substitute * Signature: (J[J[J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Sort_substitute__J_3J_3J(JNIEnv* env, +Java_io_github_cvc5_Sort_substitute__J_3J_3J(JNIEnv* env, jobject, jlong pointer, jlongArray sortPointers, @@ -626,11 +626,11 @@ Java_io_github_cvc5_api_Sort_substitute__J_3J_3J(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Sort_toString(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Sort_toString(JNIEnv* env, jobject, jlong pointer) { @@ -641,11 +641,11 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Sort_toString(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getConstructorArity * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_getConstructorArity( +JNIEXPORT jint JNICALL Java_io_github_cvc5_Sort_getConstructorArity( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -655,12 +655,12 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_getConstructorArity( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getConstructorDomainSorts * Signature: (J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Sort_getConstructorDomainSorts(JNIEnv* env, +Java_io_github_cvc5_Sort_getConstructorDomainSorts(JNIEnv* env, jobject, jlong pointer) { @@ -679,11 +679,11 @@ Java_io_github_cvc5_api_Sort_getConstructorDomainSorts(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getConstructorCodomainSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getConstructorCodomainSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getConstructorCodomainSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -694,11 +694,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getConstructorCodomainSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getSelectorDomainSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getSelectorDomainSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getSelectorDomainSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -709,11 +709,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getSelectorDomainSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getSelectorCodomainSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getSelectorCodomainSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getSelectorCodomainSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -724,11 +724,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getSelectorCodomainSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getTesterDomainSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getTesterDomainSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getTesterDomainSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -739,11 +739,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getTesterDomainSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getTesterCodomainSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getTesterCodomainSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getTesterCodomainSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -754,11 +754,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getTesterCodomainSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getFunctionArity * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_getFunctionArity( +JNIEXPORT jint JNICALL Java_io_github_cvc5_Sort_getFunctionArity( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -768,12 +768,12 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_getFunctionArity( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getFunctionDomainSorts * Signature: (J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Sort_getFunctionDomainSorts(JNIEnv* env, +Java_io_github_cvc5_Sort_getFunctionDomainSorts(JNIEnv* env, jobject, jlong pointer) { @@ -792,11 +792,11 @@ Java_io_github_cvc5_api_Sort_getFunctionDomainSorts(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getFunctionCodomainSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getFunctionCodomainSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getFunctionCodomainSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -807,11 +807,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getFunctionCodomainSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getArrayIndexSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getArrayIndexSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getArrayIndexSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -822,11 +822,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getArrayIndexSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getArrayElementSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getArrayElementSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getArrayElementSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -837,11 +837,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getArrayElementSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getSetElementSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getSetElementSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getSetElementSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -852,11 +852,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getSetElementSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getBagElementSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getBagElementSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getBagElementSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -867,11 +867,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getBagElementSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getSequenceElementSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getSequenceElementSort( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Sort_getSequenceElementSort( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -882,12 +882,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Sort_getSequenceElementSort( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getUninterpretedSortConstructorArity * Signature: (J)I */ JNIEXPORT jint JNICALL -Java_io_github_cvc5_api_Sort_getUninterpretedSortConstructorArity(JNIEnv* env, +Java_io_github_cvc5_Sort_getUninterpretedSortConstructorArity(JNIEnv* env, jobject, jlong pointer) { @@ -898,11 +898,11 @@ Java_io_github_cvc5_api_Sort_getUninterpretedSortConstructorArity(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getBitVectorSize * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_getBitVectorSize( +JNIEXPORT jint JNICALL Java_io_github_cvc5_Sort_getBitVectorSize( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -912,12 +912,12 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_getBitVectorSize( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getFloatingPointExponentSize * Signature: (J)I */ JNIEXPORT jint JNICALL -Java_io_github_cvc5_api_Sort_getFloatingPointExponentSize(JNIEnv* env, +Java_io_github_cvc5_Sort_getFloatingPointExponentSize(JNIEnv* env, jobject, jlong pointer) { @@ -928,12 +928,12 @@ Java_io_github_cvc5_api_Sort_getFloatingPointExponentSize(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getFloatingPointSignificandSize * Signature: (J)I */ JNIEXPORT jint JNICALL -Java_io_github_cvc5_api_Sort_getFloatingPointSignificandSize(JNIEnv* env, +Java_io_github_cvc5_Sort_getFloatingPointSignificandSize(JNIEnv* env, jobject, jlong pointer) { @@ -944,11 +944,11 @@ Java_io_github_cvc5_api_Sort_getFloatingPointSignificandSize(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getDatatypeArity * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_getDatatypeArity( +JNIEXPORT jint JNICALL Java_io_github_cvc5_Sort_getDatatypeArity( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -958,12 +958,12 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Sort_getDatatypeArity( } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getTupleLength * Signature: (J)I */ JNIEXPORT jint JNICALL -Java_io_github_cvc5_api_Sort_getTupleLength(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_getTupleLength(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); @@ -972,12 +972,12 @@ Java_io_github_cvc5_api_Sort_getTupleLength(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Sort + * Class: io_github_cvc5_Sort * Method: getTupleSorts * Signature: (J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Sort_getTupleSorts(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Sort_getTupleSorts(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Sort* current = reinterpret_cast(pointer); diff --git a/src/api/java/jni/stat.cpp b/src/api/java/jni/stat.cpp index c3282d58a..5241354e1 100644 --- a/src/api/java/jni/stat.cpp +++ b/src/api/java/jni/stat.cpp @@ -15,16 +15,16 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Stat.h" +#include "io_github_cvc5_Stat.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Stat_deletePointer(JNIEnv*, +JNIEXPORT void JNICALL Java_io_github_cvc5_Stat_deletePointer(JNIEnv*, jobject, jlong pointer) { @@ -32,11 +32,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Stat_deletePointer(JNIEnv*, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Stat_toString(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Stat_toString(JNIEnv* env, jobject, jlong pointer) { @@ -50,11 +50,11 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Stat_toString(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: isInternal * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isInternal(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Stat_isInternal(JNIEnv* env, jobject, jlong pointer) { @@ -65,11 +65,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isInternal(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: isDefault * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isDefault(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Stat_isDefault(JNIEnv* env, jobject, jlong pointer) { @@ -80,11 +80,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isDefault(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: isInt * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isInt(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Stat_isInt(JNIEnv* env, jobject, jlong pointer) { @@ -95,11 +95,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isInt(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: getInt * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Stat_getInt(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Stat_getInt(JNIEnv* env, jobject, jlong pointer) { @@ -110,11 +110,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Stat_getInt(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: isDouble * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isDouble(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Stat_isDouble(JNIEnv* env, jobject, jlong pointer) { @@ -125,11 +125,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isDouble(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: getDouble * Signature: (J)D */ -JNIEXPORT jdouble JNICALL Java_io_github_cvc5_api_Stat_getDouble(JNIEnv* env, +JNIEXPORT jdouble JNICALL Java_io_github_cvc5_Stat_getDouble(JNIEnv* env, jobject, jlong pointer) { @@ -140,11 +140,11 @@ JNIEXPORT jdouble JNICALL Java_io_github_cvc5_api_Stat_getDouble(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: isString * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isString(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Stat_isString(JNIEnv* env, jobject, jlong pointer) { @@ -155,11 +155,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Stat_isString(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: getString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Stat_getString(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Stat_getString(JNIEnv* env, jobject, jlong pointer) { @@ -170,12 +170,12 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Stat_getString(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: isHistogram * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Stat_isHistogram(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Stat_isHistogram(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Stat* current = reinterpret_cast(pointer); @@ -184,12 +184,12 @@ Java_io_github_cvc5_api_Stat_isHistogram(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Stat + * Class: io_github_cvc5_Stat * Method: getHistogram * Signature: (J)Ljava/util/Map; */ JNIEXPORT jobject JNICALL -Java_io_github_cvc5_api_Stat_getHistogram(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Stat_getHistogram(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Stat* current = reinterpret_cast(pointer); diff --git a/src/api/java/jni/statistics.cpp b/src/api/java/jni/statistics.cpp index e6162ed3a..5a0027e52 100644 --- a/src/api/java/jni/statistics.cpp +++ b/src/api/java/jni/statistics.cpp @@ -17,28 +17,28 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Statistics.h" +#include "io_github_cvc5_Statistics.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Statistics_deletePointer( +JNIEXPORT void JNICALL Java_io_github_cvc5_Statistics_deletePointer( JNIEnv*, jobject, jlong pointer) { delete reinterpret_cast(pointer); } /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: toString * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Statistics_toString(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Statistics_toString(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -50,11 +50,11 @@ Java_io_github_cvc5_api_Statistics_toString(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: get * Signature: (JLjava/lang/String;)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Statistics_get(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Statistics_get(JNIEnv* env, jobject, jlong pointer, jstring jName) @@ -70,11 +70,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Statistics_get(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: getIterator * Signature: (JZZ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Statistics_getIteratorOpts( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Statistics_getIteratorOpts( JNIEnv* env, jobject, jlong pointer, jboolean internal, jboolean defaulted) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -86,11 +86,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Statistics_getIteratorOpts( } /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: getIterator * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Statistics_getIterator( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Statistics_getIterator( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -102,11 +102,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Statistics_getIterator( } /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: hasNext * Signature: (JJ)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Statistics_hasNext( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Statistics_hasNext( JNIEnv* env, jobject, jlong pointer, jlong iteratorPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -118,11 +118,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Statistics_hasNext( } /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: getNext - * Signature: (JJ)Lio/github/cvc5/api/Pair; + * Signature: (JJ)Lio/github/cvc5/Pair; */ -JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Statistics_getNext( +JNIEXPORT jobject JNICALL Java_io_github_cvc5_Statistics_getNext( JNIEnv* env, jobject, jlong, jlong iteratorPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -139,7 +139,7 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Statistics_getNext( jobject longObject = env->NewObject(longClass, longConstructor, statPointer); // Pair pair = new Pair(jName, longObject) - jclass pairClass = env->FindClass("Lio/github/cvc5/api/Pair;"); + jclass pairClass = env->FindClass("Lio/github/cvc5/Pair;"); jmethodID pairConstructor = env->GetMethodID( pairClass, "", "(Ljava/lang/Object;Ljava/lang/Object;)V"); jobject pair = env->NewObject(pairClass, pairConstructor, jName, longObject); @@ -150,11 +150,11 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Statistics_getNext( } /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: increment * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Statistics_increment( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Statistics_increment( JNIEnv* env, jobject, jlong pointer, jlong iteratorPointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -176,11 +176,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Statistics_increment( } /* - * Class: io_github_cvc5_api_Statistics + * Class: io_github_cvc5_Statistics * Method: deleteIteratorPointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Statistics_deleteIteratorPointer( +JNIEXPORT void JNICALL Java_io_github_cvc5_Statistics_deleteIteratorPointer( JNIEnv*, jobject, jlong iteratorPointer) { delete reinterpret_cast(iteratorPointer); diff --git a/src/api/java/jni/synth_result.cpp b/src/api/java/jni/synth_result.cpp index 731981561..19dede3ea 100644 --- a/src/api/java/jni/synth_result.cpp +++ b/src/api/java/jni/synth_result.cpp @@ -15,28 +15,28 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_SynthResult.h" +#include "io_github_cvc5_SynthResult.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_SynthResult + * Class: io_github_cvc5_SynthResult * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_SynthResult_deletePointer( +JNIEXPORT void JNICALL Java_io_github_cvc5_SynthResult_deletePointer( JNIEnv*, jobject, jlong pointer) { delete ((SynthResult*)pointer); } /* - * Class: io_github_cvc5_api_SynthResult + * Class: io_github_cvc5_SynthResult * Method: isNull * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_SynthResult_isNull(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_SynthResult_isNull(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; SynthResult* current = (SynthResult*)pointer; @@ -45,11 +45,11 @@ Java_io_github_cvc5_api_SynthResult_isNull(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_SynthResult + * Class: io_github_cvc5_SynthResult * Method: hasSolution * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_SynthResult_hasSolution( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_SynthResult_hasSolution( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -59,11 +59,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_SynthResult_hasSolution( } /* - * Class: io_github_cvc5_api_SynthResult + * Class: io_github_cvc5_SynthResult * Method: hasNoSolution * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_SynthResult_hasNoSolution( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_SynthResult_hasNoSolution( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -73,11 +73,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_SynthResult_hasNoSolution( } /* - * Class: io_github_cvc5_api_SynthResult + * Class: io_github_cvc5_SynthResult * Method: isUnknown * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_SynthResult_isUnknown( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_SynthResult_isUnknown( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -87,11 +87,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_SynthResult_isUnknown( } /* - * Class: io_github_cvc5_api_SynthResult + * Class: io_github_cvc5_SynthResult * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_SynthResult_toString( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_SynthResult_toString( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; diff --git a/src/api/java/jni/term.cpp b/src/api/java/jni/term.cpp index a49f25d46..53d726137 100644 --- a/src/api/java/jni/term.cpp +++ b/src/api/java/jni/term.cpp @@ -15,16 +15,16 @@ #include "api/cpp/cvc5.h" #include "api_utilities.h" -#include "io_github_cvc5_api_Term.h" +#include "io_github_cvc5_Term.h" using namespace cvc5; /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: deletePointer * Signature: (J)V */ -JNIEXPORT void JNICALL Java_io_github_cvc5_api_Term_deletePointer(JNIEnv* env, +JNIEXPORT void JNICALL Java_io_github_cvc5_Term_deletePointer(JNIEnv* env, jobject, jlong pointer) { @@ -32,11 +32,11 @@ JNIEXPORT void JNICALL Java_io_github_cvc5_api_Term_deletePointer(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: equals * Signature: (JJ)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_equals(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_equals(JNIEnv* env, jobject, jlong pointer1, jlong pointer2) @@ -50,11 +50,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_equals(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: compareTo * Signature: (JJ)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Term_compareTo(JNIEnv* env, +JNIEXPORT jint JNICALL Java_io_github_cvc5_Term_compareTo(JNIEnv* env, jobject, jlong pointer1, jlong pointer2) @@ -75,12 +75,12 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Term_compareTo(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getNumChildren * Signature: (J)I */ JNIEXPORT jint JNICALL -Java_io_github_cvc5_api_Term_getNumChildren(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_getNumChildren(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -89,11 +89,11 @@ Java_io_github_cvc5_api_Term_getNumChildren(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getChild * Signature: (JI)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getChild(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_getChild(JNIEnv* env, jobject, jlong pointer, jint index) @@ -106,11 +106,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getChild(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getId * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getId(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_getId(JNIEnv* env, jobject, jlong pointer) { @@ -121,11 +121,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getId(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getKind * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Term_getKind(JNIEnv* env, +JNIEXPORT jint JNICALL Java_io_github_cvc5_Term_getKind(JNIEnv* env, jobject, jlong pointer) { @@ -136,11 +136,11 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Term_getKind(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getSort * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getSort(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_getSort(JNIEnv* env, jobject, jlong pointer) { @@ -152,12 +152,12 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getSort(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: substitute * Signature: (JJJ)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Term_substitute__JJJ(JNIEnv* env, +Java_io_github_cvc5_Term_substitute__JJJ(JNIEnv* env, jobject, jlong pointer, jlong termPointer, @@ -173,12 +173,12 @@ Java_io_github_cvc5_api_Term_substitute__JJJ(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: substitute * Signature: (J[J[J)J */ JNIEXPORT jlong JNICALL -Java_io_github_cvc5_api_Term_substitute__J_3J_3J(JNIEnv* env, +Java_io_github_cvc5_Term_substitute__J_3J_3J(JNIEnv* env, jobject, jlong pointer, jlongArray termPointers, @@ -215,11 +215,11 @@ Java_io_github_cvc5_api_Term_substitute__J_3J_3J(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: hasOp * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_hasOp(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_hasOp(JNIEnv* env, jobject, jlong pointer) { @@ -230,11 +230,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_hasOp(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getOp * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getOp(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_getOp(JNIEnv* env, jobject, jlong pointer) { @@ -246,11 +246,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getOp(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: hasSymbol * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_hasSymbol(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_hasSymbol(JNIEnv* env, jobject, jlong pointer) { @@ -261,11 +261,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_hasSymbol(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getSymbol * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Term_getSymbol(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Term_getSymbol(JNIEnv* env, jobject, jlong pointer) { @@ -276,11 +276,11 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Term_getSymbol(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isNull * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isNull(JNIEnv* env, +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isNull(JNIEnv* env, jobject, jlong pointer) { @@ -291,12 +291,12 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isNull(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isConstArray * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Term_isConstArray(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_isConstArray(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -305,11 +305,11 @@ Java_io_github_cvc5_api_Term_isConstArray(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getConstArrayBase * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getConstArrayBase( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_getConstArrayBase( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -320,11 +320,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_getConstArrayBase( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: notTerm * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_notTerm(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_notTerm(JNIEnv* env, jobject, jlong pointer) { @@ -336,11 +336,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_notTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: andTerm * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_andTerm(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_andTerm(JNIEnv* env, jobject, jlong pointer, jlong termPointer) @@ -354,11 +354,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_andTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: orTerm * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_orTerm(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_orTerm(JNIEnv* env, jobject, jlong pointer, jlong termPointer) @@ -372,11 +372,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_orTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: xorTerm * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_xorTerm(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_xorTerm(JNIEnv* env, jobject, jlong pointer, jlong termPointer) @@ -390,11 +390,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_xorTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: eqTerm * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_eqTerm(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_eqTerm(JNIEnv* env, jobject, jlong pointer, jlong termPointer) @@ -408,11 +408,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_eqTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: impTerm * Signature: (JJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_impTerm(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_impTerm(JNIEnv* env, jobject, jlong pointer, jlong termPointer) @@ -426,11 +426,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_impTerm(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: iteTerm * Signature: (JJJ)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_iteTerm( +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_iteTerm( JNIEnv* env, jobject, jlong pointer, jlong thenPointer, jlong elsePointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -443,11 +443,11 @@ JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_iteTerm( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: toString * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Term_toString(JNIEnv* env, +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Term_toString(JNIEnv* env, jobject, jlong pointer) { @@ -458,12 +458,12 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Term_toString(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getRealOrIntegerValueSign * Signature: (J)Z */ JNIEXPORT jint JNICALL -Java_io_github_cvc5_api_Term_getRealOrIntegerValueSign(JNIEnv* env, +Java_io_github_cvc5_Term_getRealOrIntegerValueSign(JNIEnv* env, jobject, jlong pointer) { @@ -474,12 +474,12 @@ Java_io_github_cvc5_api_Term_getRealOrIntegerValueSign(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isIntegerValue * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Term_isIntegerValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_isIntegerValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -488,11 +488,11 @@ Java_io_github_cvc5_api_Term_isIntegerValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getIntegerValue * Signature: (J)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Term_getIntegerValue( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Term_getIntegerValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -504,12 +504,12 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Term_getIntegerValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isStringValue * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Term_isStringValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_isStringValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -518,12 +518,12 @@ Java_io_github_cvc5_api_Term_isStringValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getStringValue * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Term_getStringValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_getStringValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -543,12 +543,12 @@ Java_io_github_cvc5_api_Term_getStringValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isRealValue * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Term_isRealValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_isRealValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -557,12 +557,12 @@ Java_io_github_cvc5_api_Term_isRealValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getRealValue * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Term_getRealValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_getRealValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -572,12 +572,12 @@ Java_io_github_cvc5_api_Term_getRealValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isBooleanValue * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Term_isBooleanValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_isBooleanValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -586,11 +586,11 @@ Java_io_github_cvc5_api_Term_isBooleanValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getBooleanValue * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_getBooleanValue( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_getBooleanValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -600,11 +600,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_getBooleanValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isBitVectorValue * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isBitVectorValue( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isBitVectorValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -614,11 +614,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isBitVectorValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getBitVectorValue * Signature: (JI)Ljava/lang/String; */ -JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Term_getBitVectorValue( +JNIEXPORT jstring JNICALL Java_io_github_cvc5_Term_getBitVectorValue( JNIEnv* env, jobject, jlong pointer, jint base) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -631,12 +631,12 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_api_Term_getBitVectorValue( /* * Class: cvc5_Term - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isUninterpretedSortValue * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Term_isUninterpretedSortValue(JNIEnv* env, +Java_io_github_cvc5_Term_isUninterpretedSortValue(JNIEnv* env, jobject, jlong pointer) { @@ -647,12 +647,12 @@ Java_io_github_cvc5_api_Term_isUninterpretedSortValue(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getUninterpretedSortValue * Signature: (J)Ljava/lang/String; */ JNIEXPORT jstring JNICALL -Java_io_github_cvc5_api_Term_getUninterpretedSortValue(JNIEnv* env, +Java_io_github_cvc5_Term_getUninterpretedSortValue(JNIEnv* env, jobject, jlong pointer) { @@ -664,11 +664,11 @@ Java_io_github_cvc5_api_Term_getUninterpretedSortValue(JNIEnv* env, } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isRoundingModeValue * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isRoundingModeValue( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isRoundingModeValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -678,11 +678,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isRoundingModeValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getRoundingModeValue * Signature: (J)I */ -JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Term_getRoundingModeValue( +JNIEXPORT jint JNICALL Java_io_github_cvc5_Term_getRoundingModeValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -692,12 +692,12 @@ JNIEXPORT jint JNICALL Java_io_github_cvc5_api_Term_getRoundingModeValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isTupleValue * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Term_isTupleValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_isTupleValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -706,12 +706,12 @@ Java_io_github_cvc5_api_Term_isTupleValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getTupleValue * Signature: (J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Term_getTupleValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_getTupleValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -722,11 +722,11 @@ Java_io_github_cvc5_api_Term_getTupleValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isFloatingPointPosZero * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointPosZero( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isFloatingPointPosZero( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -736,11 +736,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointPosZero( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isFloatingPointNegZero * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointNegZero( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isFloatingPointNegZero( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -750,11 +750,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointNegZero( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isFloatingPointPosInf * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointPosInf( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isFloatingPointPosInf( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -764,11 +764,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointPosInf( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isFloatingPointNegInf * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointNegInf( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isFloatingPointNegInf( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -778,11 +778,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointNegInf( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isFloatingPointNaN * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointNaN( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isFloatingPointNaN( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -792,11 +792,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointNaN( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isFloatingPointValue * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointValue( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isFloatingPointValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -806,11 +806,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isFloatingPointValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getFloatingPointValue - * Signature: (J)Lio/github/cvc5/api/Triplet; + * Signature: (J)Lio/github/cvc5/Triplet; */ -JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Term_getFloatingPointValue( +JNIEXPORT jobject JNICALL Java_io_github_cvc5_Term_getFloatingPointValue( JNIEnv* env, jobject thisObject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -826,7 +826,7 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Term_getFloatingPointValue( jobject t = env->NewObject(longClass, longConstructor, termPointer); // Triplet triplet = new Triplet(e, s, t); - jclass tripletClass = env->FindClass("Lio/github/cvc5/api/Triplet;"); + jclass tripletClass = env->FindClass("Lio/github/cvc5/Triplet;"); jmethodID tripletConstructor = env->GetMethodID( tripletClass, "", @@ -838,12 +838,12 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Term_getFloatingPointValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isSetValue * Signature: (J)Z */ JNIEXPORT jboolean JNICALL -Java_io_github_cvc5_api_Term_isSetValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_isSetValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -852,12 +852,12 @@ Java_io_github_cvc5_api_Term_isSetValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getSetValue * Signature: (J)[J */ JNIEXPORT jlongArray JNICALL -Java_io_github_cvc5_api_Term_getSetValue(JNIEnv* env, jobject, jlong pointer) +Java_io_github_cvc5_Term_getSetValue(JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; Term* current = reinterpret_cast(pointer); @@ -876,11 +876,11 @@ Java_io_github_cvc5_api_Term_getSetValue(JNIEnv* env, jobject, jlong pointer) } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isSequenceValue * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isSequenceValue( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isSequenceValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -890,11 +890,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isSequenceValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getSequenceValue * Signature: (J)[J */ -JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Term_getSequenceValue( +JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_Term_getSequenceValue( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -906,11 +906,11 @@ JNIEXPORT jlongArray JNICALL Java_io_github_cvc5_api_Term_getSequenceValue( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: isCardinalityConstraint * Signature: (J)Z */ -JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isCardinalityConstraint( +JNIEXPORT jboolean JNICALL Java_io_github_cvc5_Term_isCardinalityConstraint( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -920,11 +920,11 @@ JNIEXPORT jboolean JNICALL Java_io_github_cvc5_api_Term_isCardinalityConstraint( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: getCardinalityConstraint - * Signature: (J)Lio/github/cvc5/api/Pair; + * Signature: (J)Lio/github/cvc5/Pair; */ -JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Term_getCardinalityConstraint( +JNIEXPORT jobject JNICALL Java_io_github_cvc5_Term_getCardinalityConstraint( JNIEnv* env, jobject, jlong pointer) { CVC5_JAVA_API_TRY_CATCH_BEGIN; @@ -939,7 +939,7 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Term_getCardinalityConstraint( jobject s = env->NewObject(longClass, longConstructor, sortPointer); // Pair pair = new Pair(s, u); - jclass pairClass = env->FindClass("Lio/github/cvc5/api/Pair;"); + jclass pairClass = env->FindClass("Lio/github/cvc5/Pair;"); jmethodID pairConstructor = env->GetMethodID( pairClass, "", "(Ljava/lang/Object;Ljava/lang/Object;)V"); jobject pair = env->NewObject(pairClass, pairConstructor, s, u); @@ -949,11 +949,11 @@ JNIEXPORT jobject JNICALL Java_io_github_cvc5_api_Term_getCardinalityConstraint( } /* - * Class: io_github_cvc5_api_Term + * Class: io_github_cvc5_Term * Method: iterator * Signature: (J)J */ -JNIEXPORT jlong JNICALL Java_io_github_cvc5_api_Term_iterator(JNIEnv* env, +JNIEXPORT jlong JNICALL Java_io_github_cvc5_Term_iterator(JNIEnv* env, jobject, jlong pointer) { diff --git a/test/unit/api/java/DatatypeTest.java b/test/unit/api/java/DatatypeTest.java index ad179fb9f..4d0074b75 100644 --- a/test/unit/api/java/DatatypeTest.java +++ b/test/unit/api/java/DatatypeTest.java @@ -14,10 +14,10 @@ */ package tests; -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; import static org.junit.jupiter.api.Assertions.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.util.*; import java.util.concurrent.atomic.AtomicReference; import org.junit.jupiter.api.AfterEach; diff --git a/test/unit/api/java/GrammarTest.java b/test/unit/api/java/GrammarTest.java index 65c1d56c9..0e71ddd53 100644 --- a/test/unit/api/java/GrammarTest.java +++ b/test/unit/api/java/GrammarTest.java @@ -14,10 +14,10 @@ */ package tests; -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; import static org.junit.jupiter.api.Assertions.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.util.Arrays; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.BeforeEach; diff --git a/test/unit/api/java/OpTest.java b/test/unit/api/java/OpTest.java index 367b00864..7530de371 100644 --- a/test/unit/api/java/OpTest.java +++ b/test/unit/api/java/OpTest.java @@ -14,10 +14,10 @@ */ package tests; -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; import static org.junit.jupiter.api.Assertions.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.math.BigInteger; import java.util.ArrayList; import java.util.Arrays; diff --git a/test/unit/api/java/ResultTest.java b/test/unit/api/java/ResultTest.java index 4ac75bcfa..9a2b1af32 100644 --- a/test/unit/api/java/ResultTest.java +++ b/test/unit/api/java/ResultTest.java @@ -17,7 +17,7 @@ package tests; import static org.junit.jupiter.api.Assertions.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.Test; diff --git a/test/unit/api/java/SolverTest.java b/test/unit/api/java/SolverTest.java index 7bcbb1af8..f5ca65c9f 100644 --- a/test/unit/api/java/SolverTest.java +++ b/test/unit/api/java/SolverTest.java @@ -15,11 +15,11 @@ package tests; -import static io.github.cvc5.api.Kind.*; -import static io.github.cvc5.api.RoundingMode.*; +import static io.github.cvc5.Kind.*; +import static io.github.cvc5.RoundingMode.*; import static org.junit.jupiter.api.Assertions.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.math.BigInteger; import java.util.*; import java.util.concurrent.atomic.AtomicReference; diff --git a/test/unit/api/java/SortTest.java b/test/unit/api/java/SortTest.java index d527439b4..15d3fb106 100644 --- a/test/unit/api/java/SortTest.java +++ b/test/unit/api/java/SortTest.java @@ -14,10 +14,10 @@ */ package tests; -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; import static org.junit.jupiter.api.Assertions.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.math.BigInteger; import java.util.ArrayList; import java.util.Arrays; diff --git a/test/unit/api/java/SynthResultTest.java b/test/unit/api/java/SynthResultTest.java index c47363948..8ea1e61ef 100644 --- a/test/unit/api/java/SynthResultTest.java +++ b/test/unit/api/java/SynthResultTest.java @@ -17,7 +17,7 @@ package tests; import static org.junit.jupiter.api.Assertions.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.Test; diff --git a/test/unit/api/java/TermTest.java b/test/unit/api/java/TermTest.java index 2bd4cb08b..3725a7be0 100644 --- a/test/unit/api/java/TermTest.java +++ b/test/unit/api/java/TermTest.java @@ -14,10 +14,10 @@ */ package tests; -import static io.github.cvc5.api.Kind.*; +import static io.github.cvc5.Kind.*; import static org.junit.jupiter.api.Assertions.*; -import io.github.cvc5.api.*; +import io.github.cvc5.*; import java.math.BigInteger; import java.util.ArrayList; import java.util.Arrays; -- 2.30.2