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

◆ ToString()

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

◆ Key

readonly string Key

The key of the entry.

Definition at line 40 of file Statistics.cs.

Property Documentation

◆ DoubleValue

double DoubleValue
get

The double-value of the entry.

Definition at line 48 of file Statistics.cs.

48 { get { return m_double; } }

◆ IsDouble

bool IsDouble
get

True if the entry is double-valued.

Definition at line 56 of file Statistics.cs.

56 { get { return m_is_double; } }

◆ IsUInt

bool IsUInt
get

True if the entry is uint-valued.

Definition at line 52 of file Statistics.cs.

52 { get { return m_is_uint; } }

◆ UIntValue

uint UIntValue
get

The uint-value of the entry.

Definition at line 44 of file Statistics.cs.

44 { get { return m_uint; } }

◆ Value

string Value
get

The string representation of the the entry's value.

Definition at line 62 of file Statistics.cs.

62  {
63  get
64  {
65  Contract.Ensures(Contract.Result<string>() != null);
66 
67  if (IsUInt)
68  return m_uint.ToString();
69  else if (IsDouble)
70  return m_double.ToString();
71  else
72  throw new Z3Exception("Unknown statistical entry type");
73  }
74  }
bool IsUInt
True if the entry is uint-valued.
Definition: Statistics.cs:52
bool IsDouble
True if the entry is double-valued.
Definition: Statistics.cs:56