projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44e45c4) | patch
Add Datatype.java to the Java API (#6389)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Wed, 8 Sep 2021 08:33:16 +0000 (03:33 -0500)
committerGitHub <noreply@github.com>
Wed, 8 Sep 2021 08:33:16 +0000 (08:33 +0000)
commita626fcac4c3fb53b458e33a20225b9ef4ecda015
tree307025a5c2392c45137f97d0a185413972ea8e2dtree
parent44e45c450f5bf41f9fe6077437e9c3fc371868f6commit | diff
Add Datatype.java to the Java API (#6389)

This commit adds Datatype.java DatatypeTest.java and cvc5_Datatype.cpp to the java api.
src/api/java/cvc5/Datatype.java [new file with mode: 0644] blob
src/api/java/jni/cvc5_Datatype.cpp [new file with mode: 0644] blob
test/unit/api/java/cvc5/DatatypeTest.java [new file with mode: 0644] blob