orElse method

Tactic orElse(
  1. Tactic other
)

Returns a tactic that applies this or other if this fails.

Implementation

Tactic orElse(Tactic other) {
  final result = _c._z3.tactic_or_else(_tactic, other._tactic);
  return _c._getTactic(result);
}