C# Class Microsoft.Z3.FuncDecl

Inheritance: AST

Afficher le fichier Open project: sslab-gatech/juxta Class Usage Examples

Méthodes publiques

Méthode	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

Méthode	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 méthode

Create expression that applies function to arguments.

public Apply ( ) : Expr
Résultat	Expr

Equals() public méthode

Object comparison.

public Equals ( object o ) : bool
o	object
Résultat	bool

GetHashCode() public méthode

A hash code.

public GetHashCode ( ) : int
Résultat	int

ToString() public méthode

A string representations of the function declaration.

public ToString ( ) : string
Résultat	string

operator() public static méthode

Comparison operator.

public static operator ( ) : bool
Résultat	bool

this() public méthode

Create expression that applies function to arguments.

public this ( ) : Expr
Résultat	Expr