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

Наследование: BitVecExpr
Показать файл Открыть проект

Открытые методы

Метод Описание
ToString ( ) : string

Returns a string representation of the numeral.

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

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

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

ToString() публичный Метод

Returns a string representation of the numeral.
public ToString ( ) : string
Результат string