C# Class Microsoft.Z3.Probe

Inheritance: Z3Object

Exibir arquivo Open project: sslab-gatech/juxta Class Usage Examples

Public Methods

Method	Description
Apply ( Goal g ) : double	Execute the probe over the goal.
this ( Goal g ) : double	Apply the probe to a goal.

Private Methods

Method	Description
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void
Probe ( Context ctx, IntPtr obj ) : System
Probe ( Context ctx, string name ) : System

Method Details

Apply() public method

Execute the probe over the goal.

public Apply ( Goal g ) : double
g	Goal
return	double

this() public method

Apply the probe to a goal.

public this ( Goal g ) : double
g	Goal
return	double