apply method

double apply(Goal g)

Implementation

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