• Главная
• Microsoft
• Z3
• Params

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

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

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

Метод	Описание
Add ( Symbol name, Symbol value ) : void	Adds a parameter setting.
Add ( Symbol name, bool value ) : void	Adds a parameter setting.
Add ( Symbol name, double value ) : void	Adds a parameter setting.
Add ( Symbol name, string value ) : void	Adds a parameter setting.
Add ( Symbol name, uint value ) : void	Adds a parameter setting.
Add ( string name, Symbol value ) : void	Adds a parameter setting.
Add ( string name, bool value ) : void	Adds a parameter setting.
Add ( string name, double value ) : void	Adds a parameter setting.
Add ( string name, string value ) : void	Adds a parameter setting.
Add ( string name, uint value ) : void	Adds a parameter setting.
ToString ( ) : string	A string representation of the parameter set.

Приватные методы

Метод	Описание
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void
Params ( Context ctx ) : System

Описание методов