C# Class Microsoft.Z3.FuncDecl

Inheritance: AST

Exibir arquivo Open project: sslab-gatech/juxta Class Usage Examples

Public Methods

Method	Description
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.

Private Methods

Method	Description
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

Method Details

Apply() public method

Create expression that applies function to arguments.

public Apply ( ) : Expr
return	Expr

Equals() public method

Object comparison.

public Equals ( object o ) : bool
o	object
return	bool

GetHashCode() public method

A hash code.

public GetHashCode ( ) : int
return	int

ToString() public method

A string representations of the function declaration.

public ToString ( ) : string
return	string

operator() public static method

Comparison operator.

public static operator ( ) : bool
return	bool

this() public method

Create expression that applies function to arguments.

public this ( ) : Expr
return	Expr