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

Arithmetic expressions (int/real)
Наследование: Expr
Показать файл Открыть проект Примеры использования класса

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

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

Constructor for ArithExpr

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

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

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

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

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