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 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 36 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.

             {
                 return Key + ": " + Value;
             }

Field Documentation

◆ Key

readonly string Key

The key of the entry.

Definition at line 41 of file Statistics.cs.

Referenced by Statistics.Entry.ToString().

Property Documentation

◆ DoubleValue

double DoubleValue

get

The double-value of the entry.

Definition at line 49 of file Statistics.cs.

49 { get { return m_double; } }

◆ IsDouble

bool IsDouble

get

True if the entry is double-valued.

Definition at line 57 of file Statistics.cs.

57 { get { return m_is_double; } }

◆ IsUInt

bool IsUInt

get

True if the entry is uint-valued.

Definition at line 53 of file Statistics.cs.

53 { get { return m_is_uint; } }

◆ UIntValue

uint UIntValue

get

The uint-value of the entry.

Definition at line 45 of file Statistics.cs.

45 { get { return m_uint; } }

◆ Value

string Value

get

The string representation of the entry's value.

Definition at line 62 of file Statistics.cs.

             {
                 get
                 {
  
                     if (IsUInt)
                         return m_uint.ToString();
                     else if (IsDouble)
                         return m_double.ToString();
                     else
                         throw new Z3Exception("Unknown statistical entry type");
                 }
             }