Z3
Public Member Functions | Data Fields | Properties
Statistics.Entry Class Reference

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

Public Member Functions

override string ToString ()
 The string representation of the Entry. More...
 

Data Fields

readonly string Key
 The key of the entry. More...
 

Properties

uint UIntValue [get]
 The uint-value of the entry. More...
 
double DoubleValue [get]
 The double-value of the entry. More...
 
bool IsUInt [get]
 True if the entry is uint-valued. More...
 
bool IsDouble [get]
 True if the entry is double-valued. More...
 
string Value [get]
 The string representation of the the entry's value. More...
 

Detailed Description

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

Definition at line 35 of file Statistics.cs.

Member Function Documentation

override string ToString ( )
inline

The string representation of the Entry.

Definition at line 79 of file Statistics.cs.

80  {
81  return Key + ": " + Value;
82  }
string Value
The string representation of the the entry's value.
Definition: Statistics.cs:62
readonly string Key
The key of the entry.
Definition: Statistics.cs:40

Field Documentation

readonly string Key

The key of the entry.

Definition at line 40 of file Statistics.cs.

Property Documentation

double DoubleValue
get

The double-value of the entry.

Definition at line 48 of file Statistics.cs.

bool IsDouble
get

True if the entry is double-valued.

Definition at line 56 of file Statistics.cs.

bool IsUInt
get

True if the entry is uint-valued.

Definition at line 52 of file Statistics.cs.

uint UIntValue
get

The uint-value of the entry.

Definition at line 44 of file Statistics.cs.

string Value
get

The string representation of the the entry's value.

Definition at line 62 of file Statistics.cs.