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

Array expressions
Наследование: Expr
Показать файл Открыть проект Примеры использования класса

Защищенные методы

Метод Описание
ArrayExpr ( Context ctx ) : System

Constructor for ArrayExpr

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

Метод Описание
ArrayExpr ( Context ctx, IntPtr obj ) : System

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

ArrayExpr() защищенный Метод

Constructor for ArrayExpr
protected ArrayExpr ( Context ctx ) : System
ctx Context
Результат System