C# 클래스 Microsoft.Z3.Symbol

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

공개 메소드들

메소드 설명
IsIntSymbol ( ) : bool

Indicates whether the symbol is of Int kind
IsStringSymbol ( ) : bool

Indicates whether the symbol is of string kind.
ToString ( ) : string

A string representation of the symbol.

보호된 메소드들

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

Symbol constructor

비공개 메소드들

메소드 설명
Create ( Context ctx, IntPtr obj ) : Symbol

메소드 상세

IsIntSymbol() 공개 메소드

Indicates whether the symbol is of Int kind
public IsIntSymbol ( ) : bool
리턴 bool

IsStringSymbol() 공개 메소드

Indicates whether the symbol is of string kind.
public IsStringSymbol ( ) : bool
리턴 bool

Symbol() 보호된 메소드

Symbol constructor
protected Symbol ( Context ctx, IntPtr obj ) : System
ctx Context
obj System.IntPtr
리턴 System

ToString() 공개 메소드

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