C# Class Microsoft.Z3.ListSort

Inheritance: Microsoft.Z3.Sort
Show file Open project: sslab-gatech/juxta

Private Methods

Method Description
ListSort ( Context ctx, Symbol name, Microsoft.Z3.Sort elemSort ) : System