C# Class Microsoft.Z3.ApplyResult

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

Méthodes publiques

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

Private Methods

Méthode Description
ApplyResult ( Context ctx, IntPtr obj ) : System
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void

Method Details

ConvertModel() public méthode

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
Résultat Model

ToString() public méthode

A string representation of the ApplyResult.
public ToString ( ) : string
Résultat string