Z3
Data Structures | Namespaces
src/api/dotnet/Statistics.cs File Reference

Go to the source code of this file.

Data Structures

class  Statistics
 Objects of this class track statistical information about solvers. More...
class  Statistics.Entry
 Statistical data is organized into pairs of [Key, Entry], where every Entry is either a DoubleEntry or a UIntEntry More...
class  Statistics.DecRefQueue

Namespaces

package  Microsoft.Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines