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

Rename Java package to edu.stanford.CVC4 (#3752)

Browse Source
This commit is contained in:
Andres Noetzli
2020-02-12 14:48:10 -08:00
committed by GitHub
parent f38cd31ddf
commit 3ba75ef701
21 changed files with 41 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -14,7 +14,7 @@
** An example of accessing CVC4's statistics using the Java API.
**/
import edu.nyu.acsys.CVC4.*;
import edu.stanford.CVC4.*;
import java.util.Iterator;
public class Statistics {
@@ -37,7 +37,7 @@ public class Statistics {
// `Statistics` class implements the `Iterable<Statistic>` interface. A
// `Statistic` is a pair that consists of a name and an `SExpr` that stores
// the value of the statistic.
edu.nyu.acsys.CVC4.Statistics stats = smt.getStatistics();
edu.stanford.CVC4.Statistics stats = smt.getStatistics();
for (Statistic stat : stats) {
System.out.println(stat.getFirst() + " = " + stat.getSecond());
}