C# Класс Microsoft.Z3.FuncDecl

Наследование: AST

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод	Описание
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