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

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

Z3: Statistics.Entry Class Reference

Statistical data is organized into pairs of [Key, Entry], where every Entry is either a DoubleEntry or a UIntEntry More...

Statistical data is organized into pairs of [Key, Entry], where every Entry is either a DoubleEntry or a UIntEntry

Definition at line 36 of file Statistics.cs.

The string representation of the Entry.

Definition at line 79 of file Statistics.cs.

readonly string Key

The key of the entry.

string Value

The string representation of the entry's value.

The double-value of the entry.

Definition at line 49 of file Statistics.cs.

{

{

m_double; } }

True if the entry is double-valued.

Definition at line 57 of file Statistics.cs.

{

{

m_is_double; } }

True if the entry is uint-valued.

Definition at line 53 of file Statistics.cs.

{

{

m_is_uint; } }

The uint-value of the entry.

Definition at line 45 of file Statistics.cs.

{

{

m_uint; } }

The string representation of the entry's value.

Definition at line 62 of file Statistics.cs.

m_uint.ToString();

m_double.ToString();

Z3Exception(

);

bool IsDouble

True if the entry is double-valued.

bool IsUInt

True if the entry is uint-valued.

Referenced by Statistics.Entry.ToString().

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