C# 클래스 Microsoft.Z3.UninterpretedSort

Uninterpreted Sorts
상속: Microsoft.Z3.Sort
파일 보기 프로젝트 열기: sslab-gatech/juxta

비공개 메소드들

메소드 설명
UninterpretedSort ( Context ctx, IntPtr obj ) : System
UninterpretedSort ( Context ctx, Symbol s ) : System