C# 클래스 Microsoft.Z3.FuncDecl

상속: AST

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

공개 메소드들

메소드	설명
Apply ( ) : Expr	Create expression that applies function to arguments.
Equals ( object o ) : bool	Object comparison.
GetHashCode ( ) : int	A hash code.
ToString ( ) : string	A string representations of the function declaration.
operator ( ) : bool	Comparison operator.
this ( ) : Expr	Create expression that applies function to arguments.

비공개 메소드들

메소드	설명
CheckNativeObject ( IntPtr obj ) : void
FuncDecl ( Context ctx, IntPtr obj ) : System
FuncDecl ( Context ctx, Symbol name, Microsoft.Z3.Sort domain, Microsoft.Z3.Sort range ) : System
FuncDecl ( Context ctx, string prefix, Microsoft.Z3.Sort domain, Microsoft.Z3.Sort range ) : System

메소드 상세

Apply() 공개 메소드

Create expression that applies function to arguments.

public Apply ( ) : Expr
리턴	Expr

Equals() 공개 메소드

Object comparison.

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

GetHashCode() 공개 메소드

A hash code.

public GetHashCode ( ) : int
리턴	int

ToString() 공개 메소드

A string representations of the function declaration.

public ToString ( ) : string
리턴	string

operator() 공개 정적인 메소드

Comparison operator.

public static operator ( ) : bool
리턴	bool

this() 공개 메소드

Create expression that applies function to arguments.

public this ( ) : Expr
리턴	Expr