C# 클래스 Microsoft.Z3.IntNum

상속: IntExpr
파일 보기 프로젝트 열기: sslab-gatech/juxta 1 사용 예제들

공개 메소드들

메소드 설명
ToString ( ) : string

Returns a string representation of the numeral.

비공개 메소드들

메소드 설명
IntNum ( Context ctx, IntPtr obj ) : System.Numerics

메소드 상세

ToString() 공개 메소드

Returns a string representation of the numeral.
public ToString ( ) : string
리턴 string