projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d46a59a) | patch
Remove java API methods that accepts lists as arguments (#8541)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Sat, 2 Apr 2022 00:40:47 +0000 (19:40 -0500)
committerGitHub <noreply@github.com>
Sat, 2 Apr 2022 00:40:47 +0000 (00:40 +0000)
commitffe428bb7f9c87557b0a5c742171f8224d9f186f
treef68b8be6292d91c29770e1caee1099b2dcae9784tree
parentd46a59a6ed21401c932afe66059eb1de5d4148d9commit | diff
Remove java API methods that accepts lists as arguments (#8541)

This PR removes some unnecessary methods in the Java API that were added to simplify several unit tests that use dynamic arrays. The goal is to make the java API consistent and as small as possible.
Users could use asList, toArray methods to use generic lists if they wish.
src/api/java/io/github/cvc5/Solver.java diff | blob | history
src/api/java/io/github/cvc5/Sort.java diff | blob | history
src/api/java/io/github/cvc5/Term.java diff | blob | history
test/unit/api/java/DatatypeTest.java diff | blob | history
test/unit/api/java/SolverTest.java diff | blob | history
test/unit/api/java/TermTest.java diff | blob | history