C# 클래스 Microsoft.Z3.FuncInterp

상속: Z3Object
파일 보기 프로젝트 열기: sslab-gatech/juxta

공개 메소드들

메소드 설명
ToString ( ) : string

A string representation of the function interpretation.

비공개 메소드들

메소드 설명
DecRef ( IntPtr o ) : void
FuncInterp ( Context ctx, IntPtr obj ) : System
IncRef ( IntPtr o ) : void

메소드 상세

ToString() 공개 메소드

A string representation of the function interpretation.
public ToString ( ) : string
리턴 string