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

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

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

Метод Описание
ConvertModel ( uint i, Model m ) : Model

Convert a model for the subgoal i into a model for the original goal g, that the ApplyResult was obtained from.
ToString ( ) : string

A string representation of the ApplyResult.

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

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

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

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

Convert a model for the subgoal i into a model for the original goal g, that the ApplyResult was obtained from.
public ConvertModel ( uint i, Model m ) : Model
i uint
m Model
Результат Model

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

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