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));
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());