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

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

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

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

Constructor for BitVecExpr

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

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

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

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

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