probe method

Probe probe(double value)

Implementation

Probe probe(double value) {
  final result = _z3.probe_const(value);
  return _getProbe(result);
}