18 package com.microsoft.z3;
75 return Integer.toString(m_int);
77 return Double.toString(m_double);
79 throw new Z3Exception(
"Unknown statistical entry type");
91 private boolean m_is_int =
false;
92 private boolean m_is_double =
false;
93 private int m_int = 0;
94 private double m_double = 0.0;
138 for (
int i = 0; i < n; i++)
144 getNativeObject(), i));
147 getNativeObject(), i));
149 throw new Z3Exception(
"Unknown data entry value");
163 for (
int i = 0; i < n; i++)
179 for (
int i = 0; i < n; i++) {
180 if (es[i].Key.equals(key)) {
198 void addToReferenceQueue() {
199 Native.statsIncRef(getContext().nCtx(), getNativeObject());
static int statsSize(long a0, long a1)
static String statsGetKey(long a0, long a1, int a2)
static boolean statsIsUint(long a0, long a1, int a2)
IDecRefQueue< Statistics > getStatisticsDRQ()
static int statsGetUintValue(long a0, long a1, int a2)
static double statsGetDoubleValue(long a0, long a1, int a2)
static boolean statsIsDouble(long a0, long a1, int a2)
static String statsToString(long a0, long a1)