C# Класс Microsoft.Z3.FuncInterp.Entry

An Entry object represents an element in the finite map used to encode a function interpretation.
Наследование: Z3Object
Показать файл Открыть проект

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

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

A string representation of the function entry.

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

Метод Описание
DecRef ( IntPtr o ) : void
Entry ( Context ctx, IntPtr obj ) : System
IncRef ( IntPtr o ) : void

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

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

A string representation of the function entry.
public ToString ( ) : string
Результат string