C# 클래스 Microsoft.Z3.AST

상속: Z3Object, IComparable

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

공개 메소드들

메소드	설명
CompareTo ( object other ) : int	Object Comparison.
Equals ( object o ) : bool	Object comparison.
GetHashCode ( ) : int	The AST's hash code.
SExpr ( ) : string	A string representation of the AST in s-expression notation.
ToString ( ) : string	A string representation of the AST.
Translate ( Context ctx ) : AST	Translates (copies) the AST to the Context ctx.
operator ( ) : bool	Comparison operator.

비공개 메소드들

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

메소드 상세

CompareTo() 공개 메소드

Object Comparison.

public CompareTo ( object other ) : int
other	object	Another AST
리턴	int

Equals() 공개 메소드

Object comparison.

public Equals ( object o ) : bool
o	object
리턴	bool

GetHashCode() 공개 메소드

The AST's hash code.

public GetHashCode ( ) : int
리턴	int

SExpr() 공개 메소드

A string representation of the AST in s-expression notation.

public SExpr ( ) : string
리턴	string

ToString() 공개 메소드

A string representation of the AST.

public ToString ( ) : string
리턴	string

Translate() 공개 메소드

Translates (copies) the AST to the Context ctx.

public Translate ( Context ctx ) : AST
ctx	Context	A context
리턴	AST

operator() 공개 정적인 메소드

Comparison operator.

public static operator ( ) : bool
리턴	bool