Objects of this class track statistical information about solvers.
More...
|
class | DecRefQueue |
|
class | Entry |
| Statistical data is organized into pairs of [Key, Entry], where every Entry is either a DoubleEntry or a UIntEntry More...
|
|
Objects of this class track statistical information about solvers.
Definition at line 29 of file Statistics.cs.
◆ ToString()
override string ToString |
( |
| ) |
|
|
inline |
A string representation of the statistical data.
Definition at line 107 of file Statistics.cs.
109 return Native.Z3_stats_to_string(Context.nCtx, NativeObject);
◆ Entries
The data entries.
Definition at line 124 of file Statistics.cs.
127 Contract.Ensures(Contract.Result<Entry[]>() != null);
128 Contract.Ensures(Contract.Result<Entry[]>().Length ==
this.Size);
129 Contract.Ensures(Contract.ForAll(0, Contract.Result<Entry[]>().Length, j => Contract.Result<Entry[]>()[j] != null));
132 Entry[] res =
new Entry[n];
133 for (uint i = 0; i < n; i++)
136 string k = Native.Z3_stats_get_key(Context.nCtx, NativeObject, i);
137 if (Native.Z3_stats_is_uint(Context.nCtx, NativeObject, i) != 0)
138 e =
new Entry(k, Native.Z3_stats_get_uint_value(Context.nCtx, NativeObject, i));
139 else if (Native.Z3_stats_is_double(Context.nCtx, NativeObject, i) != 0)
140 e =
new Entry(k, Native.Z3_stats_get_double_value(Context.nCtx, NativeObject, i));
142 throw new Z3Exception(
"Unknown data entry value");
uint Size
The number of statistical data.
◆ Keys
The statistical counters.
Definition at line 153 of file Statistics.cs.
156 Contract.Ensures(Contract.Result<
string[]>() != null);
159 string[] res =
new string[n];
160 for (uint i = 0; i < n; i++)
161 res[i] = Native.Z3_stats_get_key(Context.nCtx, NativeObject, i);
uint Size
The number of statistical data.
◆ Size
The number of statistical data.
Definition at line 116 of file Statistics.cs.
117 get {
return Native.Z3_stats_size(Context.nCtx, NativeObject); }
◆ this[string key]
The value of a particular statistical counter.
Returns null if the key is unknown.
Definition at line 171 of file Statistics.cs.
176 for (uint i = 0; i < n; i++)
177 if (es[i].Key == key)
Entry [] Entries
The data entries.
uint Size
The number of statistical data.