C# Class Microsoft.Z3.Goal

Inheritance: Z3Object
Afficher le fichier Open project: sslab-gatech/juxta Class Usage Examples

Méthodes publiques

Méthode Description
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.

Private Methods

Méthode Description
DecRef ( IntPtr o ) : void
Goal ( Context ctx, IntPtr obj ) : System
Goal ( Context ctx, bool models, bool unsatCores, bool proofs ) : System
IncRef ( IntPtr o ) : void

Method Details

Add() public méthode

Alias for Assert.
public Add ( ) : void
Résultat void

Assert() public méthode

Adds the constraints to the given goal.
public Assert ( ) : void
Résultat void

Reset() public méthode

Erases all formulas from the given goal.
public Reset ( ) : void
Résultat void

Simplify() public méthode

Simplifies the goal.
Essentially invokes the `simplify' tactic on the goal.
public Simplify ( Params p = null ) : Goal
p Params
Résultat Goal

ToString() public méthode

Goal to string conversion.
public ToString ( ) : string
Résultat string

Translate() public méthode

Translates (copies) the Goal to the target Context ctx.
public Translate ( Context ctx ) : Goal
ctx Context
Résultat Goal