apply method

double apply(
  1. Goal g
)

Evaluates a probe on the given goal, returns a double.

For boolean probes, the result is 0.0 for false and a non-zero value for true.

Implementation

double apply(Goal g) {
  return _c._z3.probe_apply(_probe, g._goal);
}