C# Class Microsoft.Z3.IntSort

An Integer sort
Inheritance: ArithSort
Afficher le fichier Open project: sslab-gatech/juxta Class Usage Examples

Private Methods

Méthode Description
IntSort ( Context ctx ) : System
IntSort ( Context ctx, IntPtr obj ) : System