Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
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.

Data Fields

readonly string Key
 The key of the entry.

Properties

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

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.

            {
                return Key + ": " + Value;
            }

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.

 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines