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

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

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

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

Constructor for RealExpr

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

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

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

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

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