C# Class Microsoft.Z3.EnumSort

Inheritance: Microsoft.Z3.Sort
ファイルを表示 Open project: sslab-gatech/juxta

Private Methods

Method Description
EnumSort ( Context ctx, Symbol name, Symbol enumNames ) : System