C# Class Microsoft.Z3.BoolSort

A Boolean sort.

Inheritance: Microsoft.Z3.Sort

Exibir arquivo Open project: sslab-gatech/juxta Class Usage Examples

Private Methods

Method	Description
BoolSort ( Context ctx ) : System
BoolSort ( Context ctx, IntPtr obj ) : System