• Inicio
• Microsoft
• Z3
• SetSort

C# Class Microsoft.Z3.SetSort

Mostrar archivo Open project: sslab-gatech/juxta

Private Methods

Method	Description
SetSort ( Context ctx, IntPtr obj ) : System
SetSort ( Context ctx, Microsoft.Z3.Sort ty ) : System