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 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 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");
                }
            }