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

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

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

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

Returns a string representation of the numeral.

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

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

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

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

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