operator | method

Probe operator |(
  1. Probe other
)

Returns a probe that returns true if this probe or other are true.

Implementation

Probe operator |(Probe other) {
  final result = _c._z3.probe_or(_probe, other._probe);
  return _c._getProbe(result);
}