when method

Tactic when(
  1. Probe p
)

Returns a tactic that applies this when the given probe returns true.

Implementation

Tactic when(Probe p) {
  final result = _c._z3.tactic_when(p._probe, _tactic);
  return _c._getTactic(result);
}