operator ~ method

Probe operator ~()

Returns a probe that returns true if this probe is false.

Implementation

Probe operator ~() {
  final result = _c._z3.probe_not(_probe);
  return _c._getProbe(result);
}