Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Data Structures | Public Member Functions | Properties
Statistics Class Reference

Objects of this class track statistical information about solvers. More...

+ Inheritance diagram for Statistics:

Data Structures

class  DecRefQueue
 
class  Entry
 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 ()
 A string representation of the statistical data.
 
- Public Member Functions inherited from Z3Object
void Dispose ()
 Disposes of the underlying native Z3 object.
 

Properties

uint Size [get]
 The number of statistical data.
 
Entry[] Entries [get]
 The data entries.
 
string[] Keys [get]
 The statistical counters.
 
Entry this[string key] [get]
 The value of a particular statistical counter.
 

Detailed Description

Objects of this class track statistical information about solvers.

Definition at line 29 of file Statistics.cs.

Member Function Documentation

override string ToString ( )
inline

A string representation of the statistical data.

Definition at line 97 of file Statistics.cs.

{
return Native.Z3_stats_to_string(Context.nCtx, NativeObject);
}

Property Documentation

Entry [] Entries
get

The data entries.

Definition at line 114 of file Statistics.cs.

string [] Keys
get

The statistical counters.

Definition at line 143 of file Statistics.cs.

uint Size
get

The number of statistical data.

Definition at line 106 of file Statistics.cs.

Entry this[string key]
get

The value of a particular statistical counter.

Returns null if the key is unknown.

Definition at line 161 of file Statistics.cs.