projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e54aa6) | patch
Finish the Java Api (#6396)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Thu, 30 Sep 2021 17:07:39 +0000 (12:07 -0500)
committerGitHub <noreply@github.com>
Thu, 30 Sep 2021 17:07:39 +0000 (17:07 +0000)
commit720e3afc907f429cf8105ee49b3628ddaacbf7a3
tree68e8cd29c979cdab7ba92268d7903cb3e7b79779tree
parent4e54aa63e13f551e9c647ce59edd958e1d84ddb1commit | diff
Finish the Java Api (#6396)

This commit finishes the implementation of the Java API.
It also includes all java files in the build along with their unit tests.
30 files changed:
.clang-format diff | blob | history
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/cvc5/AbstractPointer.java [new file with mode: 0644] blob
src/api/java/cvc5/CVC5ApiRecoverableException.java diff | blob | history
src/api/java/cvc5/Datatype.java diff | blob | history
src/api/java/cvc5/DatatypeConstructor.java diff | blob | history
src/api/java/cvc5/DatatypeConstructorDecl.java diff | blob | history
src/api/java/cvc5/DatatypeDecl.java diff | blob | history
src/api/java/cvc5/DatatypeSelector.java diff | blob | history
src/api/java/cvc5/Grammar.java diff | blob | history
src/api/java/cvc5/IPointer.java diff | blob | history
src/api/java/cvc5/Op.java diff | blob | history
src/api/java/cvc5/Pair.java [new file with mode: 0644] blob
src/api/java/cvc5/Result.java diff | blob | history
src/api/java/cvc5/RoundingMode.java [new file with mode: 0644] blob
src/api/java/cvc5/Solver.java diff | blob | history
src/api/java/cvc5/Sort.java diff | blob | history
src/api/java/cvc5/Stat.java diff | blob | history
src/api/java/cvc5/Statistics.java diff | blob | history
src/api/java/cvc5/Term.java diff | blob | history
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/CMakeLists.txt diff | blob | history
test/unit/api/java/cvc5/GrammarTest.java diff | blob | history
test/unit/api/java/cvc5/OpTest.java diff | blob | history
test/unit/api/java/cvc5/SolverTest.java diff | blob | history
test/unit/api/java/cvc5/SortTest.java diff | blob | history
test/unit/api/java/cvc5/TermTest.java diff | blob | history