apply method

ApplyResult apply(
  1. Goal g, {
  2. Params? params,
})

Applies this tactic to the given goal.

Implementation

ApplyResult apply(Goal g, {Params? params}) {
  if (params != null) {
    return _c._getApplyResult(
      _c._z3.tactic_apply_ex(
        _tactic,
        g._goal,
        params._params,
      ),
    );
  } else {
    return _c._getApplyResult(_c._z3.tactic_apply(_tactic, g._goal));
  }
}