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

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

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

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

Constructor for IntExpr

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

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

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

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

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