C# Class Microsoft.Z3.UninterpretedSort

Uninterpreted Sorts
Inheritance: Microsoft.Z3.Sort
Exibir arquivo Open project: sslab-gatech/juxta

Private Methods

Method Description
UninterpretedSort ( Context ctx, IntPtr obj ) : System
UninterpretedSort ( Context ctx, Symbol s ) : System