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

Function declarations can have Parameters associated with them.
Показать файл Открыть проект

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

Метод Описание
Parameter ( Z3_parameter_kind k, AST a ) : System
Parameter ( Z3_parameter_kind k, FuncDecl fd ) : System
Parameter ( Z3_parameter_kind k, Microsoft.Z3.Sort s ) : System
Parameter ( Z3_parameter_kind k, Symbol s ) : System
Parameter ( Z3_parameter_kind k, double d ) : System
Parameter ( Z3_parameter_kind k, int i ) : System
Parameter ( Z3_parameter_kind k, string r ) : System