cond method

Tactic cond(
  1. Tactic other,
  2. Probe p
)

Returns a tactic that applies this if p returns true, other otherwise.

Implementation

Tactic cond(Tactic other, Probe p) {
  final result = _c._z3.tactic_cond(
    p._probe,
    _tactic,
    other._tactic,
  );
  return _c._getTactic(result);
}