Preparing search index...
The search index is not available
z3-solver
z3-solver
Probe
Interface Probe<Name>
interface
Probe
<
Name
extends
string
=
"main"
>
{
ctx
:
Context
<
Name
>
;
ptr
:
Z3_probe
;
apply
(
goal
:
Goal
<
Name
>
)
:
number
;
}
Type Parameters
Name
extends
string
=
"main"
Index
Properties
ctx
ptr
Methods
apply
Properties
Readonly
ctx
ctx
:
Context
<
Name
>
Readonly
ptr
ptr
:
Z3_probe
Methods
apply
apply
(
goal
:
Goal
<
Name
>
)
:
number
Apply the probe to a goal and return the result as a number.
Parameters
goal
:
Goal
<
Name
>
Returns
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
ctx
ptr
Methods
apply
z3-solver
Loading...
Apply the probe to a goal and return the result as a number.