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

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

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

Метод Описание
Add ( ) : void

Alias for Assert.
Assert ( ) : void

Adds the constraints to the given goal.
Reset ( ) : void

Erases all formulas from the given goal.
Simplify ( Params p = null ) : Goal

Simplifies the goal.

Essentially invokes the `simplify' tactic on the goal.

ToString ( ) : string

Goal to string conversion.
Translate ( Context ctx ) : Goal

Translates (copies) the Goal to the target Context ctx.

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

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

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

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

Alias for Assert.
public Add ( ) : void
Результат void

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

Adds the constraints to the given goal.
public Assert ( ) : void
Результат void

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

Erases all formulas from the given goal.
public Reset ( ) : void
Результат void

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

Simplifies the goal.
Essentially invokes the `simplify' tactic on the goal.
public Simplify ( Params p = null ) : Goal
p Params
Результат Goal

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

Goal to string conversion.
public ToString ( ) : string
Результат string

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

Translates (copies) the Goal to the target Context ctx.
public Translate ( Context ctx ) : Goal
ctx Context
Результат Goal