C# Class Microsoft.Z3.IntSort

An Integer sort
Inheritance: ArithSort
Datei anzeigen Open project: sslab-gatech/juxta Class Usage Examples

Private Methods

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