C# Class Microsoft.Z3.DatatypeSort

Inheritance: Microsoft.Z3.Sort
Afficher le fichier Open project: sslab-gatech/juxta Class Usage Examples

Private Methods

Méthode Description
DatatypeSort ( Context ctx, IntPtr obj ) : System
DatatypeSort ( Context ctx, Symbol name, Microsoft.Z3.Constructor constructors ) : System