C# Class Microsoft.Z3.BoolSort

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

Private Methods

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