Z3
Microsoft
Z3
DecRefQueueContracts
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
91
of file
IDecRefQueue.cs
.
Generated on Sat Jun 4 2022 15:24:58 for Z3 by
1.9.3