convert method

Model convert(
  1. Model? m
)

Implementation

Model convert(Model? m) {
  final ptr = _c._z3.goal_convert_model(_goal, m?._model ?? nullptr);
  return _c._getModel(ptr);
}