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

Наследование: Z3Object

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

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

Метод	Описание
Apply ( Goal g ) : double	Execute the probe over the goal.
this ( Goal g ) : double	Apply the probe to a goal.

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

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

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

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

Execute the probe over the goal.

public Apply ( Goal g ) : double
g	Goal
Результат	double

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

Apply the probe to a goal.

public this ( Goal g ) : double
g	Goal
Результат	double