convert method

Model convert(
  1. Model? m
)

Converts a model of the formulas of a goal to a model of an original goal.

The model may be null, in which case the returned model is valid if the goal was established satisfiable.

Implementation

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