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)) {
194 getContext().getStatisticsDRQ().storeReference(getContext(),
this);
198 void addToReferenceQueue() {
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)
static int statsGetUintValue(long a0, long a1, int a2)
static double statsGetDoubleValue(long a0, long a1, int a2)
static void statsIncRef(long a0, long a1)
static boolean statsIsDouble(long a0, long a1, int a2)
static String statsToString(long a0, long a1)
def String(name, ctx=None)