projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ed3d2c) | patch
Add Term.java to the Java API (#6330)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 20 Aug 2021 19:30:29 +0000 (14:30 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Aug 2021 19:30:29 +0000 (19:30 +0000)
commitf214151669a5a0ec97df4cc21b66fdaa198001e1
tree3b821a4f6fced0e65d727b815c88899b8732a24dtree
parent1ed3d2c92dde0a64242fe3aa22f6db4da70aaf06commit | diff
Add Term.java to the Java API (#6330)

This commit adds `Term.java`, `TermTest.java`, and `cvc5_Term.cpp` to the Java API.
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/cvc5/Term.java [new file with mode: 0644] blob
src/api/java/jni/cvc5_Term.cpp [new file with mode: 0644] blob
test/unit/api/java/cvc5/TermTest.java [new file with mode: 0644] blob