repeat method

Tactic repeat(
  1. int max
)

Returns a tactic that repeatedly applies this a maximum of max times.

Implementation

Tactic repeat(int max) {
  final result = _c._z3.tactic_repeat(_tactic, max);
  return _c._getTactic(result);
}