ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity

Move Java package to io.github.cvc5 (#8469)

Browse Source 
Previously, we were using io.github.cvc5.api to mirror the C++
namespace that the API was in. The namespace of the C++ API changed to
simply cvc5 and so this commit updates the Java package accordingly.
This commit is contained in:
Andres Noetzli
2022-03-30 21:09:03 -07:00
committed by GitHub
parent 3ebf121438
commit c93de62d8b
72 changed files with 892 additions and 882 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
examples/api/java/Statistics.java
View File

@@ -13,9 +13,9 @@
* An example of accessing cvc5's statistics using the Java API.
*/
import static io.github.cvc5.api.Kind.*;
import static io.github.cvc5.Kind.*;
import io.github.cvc5.api.*;
import io.github.cvc5.*;
import java.util.List;
import java.util.Map;
@@ -27,7 +27,7 @@ public class Statistics
{
// Get the statistics from the `Solver` and iterate over them. The
// `Statistics` class implements the `Iterable<Pair<String, Stat>>` interface.
io.github.cvc5.api.Statistics stats = solver.getStatistics();
io.github.cvc5.Statistics stats = solver.getStatistics();
// short version
System.out.println("Short version:");
System.out.println(stats);