Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
DecRefQueueContracts Class Reference
+ Inheritance diagram for DecRefQueueContracts:

Additional Inherited Members

- Public Member Functions inherited from IDecRefQueue
void SetLimit (uint l)
 Sets the limit on numbers of objects that are kept back at GC collection. More...
 

Detailed Description

Definition at line 94 of file IDecRefQueue.cs.