A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_statistics.html below:

Z3: Statistics Class Reference

Objects of this class track statistical information about solvers. More...

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

Context Context

Access Context object

◆ Entries

The data entries.

Definition at line 123 of file Statistics.cs.

127  return

NativeEntries(

Context

.nCtx, NativeObject);

◆ Keys

The statistical counters.

Definition at line 153 of file Statistics.cs.

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 115 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 170 of file Statistics.cs.

176  for

(uint i = 0; i < n; i++)

177  if

(es[i].Key == key)

Entry[] Entries

The data entries.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4