Z3
Data Structures | Namespaces
Optimize.cs File Reference

Go to the source code of this file.

Data Structures

class  Optimize
 Object for managing optimizization context More...
 
class  Optimize.Handle
 Handle to objectives returned by objective functions. More...
 
class  Optimize.DecRefQueue
 

Namespaces

namespace  Microsoft.Z3