mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-31 08:23:17 +00:00
Code Activity

Made Statistics.Entry a static subclass

Browse source
This commit is contained in:
Thomas Haas 2024-02-17 11:30:26 +01:00
parent 862dd9bcd4
commit 727643c54e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/java/Statistics.java
View file

@ -27,7 +27,7 @@ public class Statistics extends Z3Object {
* Statistical data is organized into pairs of [Key, Entry], where every * Statistical data is organized into pairs of [Key, Entry], where every
* Entry is either a {@code DoubleEntry} or a {@code UIntEntry} * Entry is either a {@code DoubleEntry} or a {@code UIntEntry}
**/ **/
public class Entry public static class Entry
{ {
/** /**
* The key of the entry. * The key of the entry.