probe method

Probe probe(
  1. double value
)

Create a constant probe that always evaluates to value.

Implementation

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