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

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

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

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

Constructor for DatatypeExpr

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

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

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

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

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