goal_convert_model method

Z3_model goal_convert_model(
  1. Z3_context c,
  2. Z3_goal g,
  3. Z3_model m
)

\brief Convert 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.

def_API('Z3_goal_convert_model', MODEL, (_in(CONTEXT), _in(GOAL), _in(MODEL)))

Implementation

Z3_model goal_convert_model(
  Z3_context c,
  Z3_goal g,
  Z3_model m,
) {
  return _goal_convert_model(
    c,
    g,
    m,
  );
}