C# Class Microsoft.Z3.TupleSort

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

Private Methods

Méthode Description
TupleSort ( Context ctx, Symbol name, uint numFields, Symbol fieldNames, Microsoft.Z3.Sort fieldSorts ) : System