C# Class Microsoft.Z3.ArithSort

An arithmetic sort, i.e., Int or Real.
Inheritance: Microsoft.Z3.Sort
Afficher le fichier Open project: sslab-gatech/juxta

Private Methods

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