projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8773b89) | patch
Add missing functions in Term.java (#7297)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Thu, 7 Oct 2021 11:29:28 +0000 (06:29 -0500)
committerGitHub <noreply@github.com>
Thu, 7 Oct 2021 11:29:28 +0000 (11:29 +0000)
commit991bef531131336549eccd2446243204f4733c20
tree2b95878d40b8c1732f79de1d4cd86eb5c754ce48tree
parent8773b8921d705d458b90566cb41e97ee596aeeb1commit | diff
Add missing functions in Term.java (#7297)

This adds recent API functions that were added to terms.
It also uses BigInteger now for integer terms.
12 files changed:
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/cvc5/AbstractPointer.java diff | blob | history
src/api/java/cvc5/Op.java diff | blob | history
src/api/java/cvc5/Pair.java diff | blob | history
src/api/java/cvc5/Solver.java diff | blob | history
src/api/java/cvc5/Term.java diff | blob | history
src/api/java/cvc5/Triplet.java [new file with mode: 0644] blob
src/api/java/cvc5/Utils.java diff | blob | history
src/api/java/jni/cvc5JavaApi.h diff | blob | history
src/api/java/jni/cvc5_Solver.cpp diff | blob | history
src/api/java/jni/cvc5_Term.cpp diff | blob | history
test/unit/api/java/cvc5/TermTest.java diff | blob | history