usingParams method

Tactic usingParams(
  1. Params params
)

Returns a tactic that applies this with the given parameters.

Implementation

Tactic usingParams(Params params) {
  final result = _c._z3.tactic_using_params(_tactic, params._params);
  return _c._getTactic(result);
}