C# Class Microsoft.Z3.RealSort

A real sort
Inheritance: ArithSort
Exibir arquivo Open project: sslab-gatech/juxta Class Usage Examples

Private Methods

Method Description
RealSort ( Context ctx ) : System
RealSort ( Context ctx, IntPtr obj ) : System