model_translate method

Z3_model model_translate(
  1. Z3_context c,
  2. Z3_model m,
  3. Z3_context dst
)

\brief translate model from context \c c to context \c dst.

\remark Use this method for cloning state between contexts. Note that operations on contexts are not thread safe and therefore all operations that related to a given context have to be synchronized (or run in the same thread).

def_API('Z3_model_translate', MODEL, (_in(CONTEXT), _in(MODEL), _in(CONTEXT)))

Implementation

Z3_model model_translate(
  Z3_context c,
  Z3_model m,
  Z3_context dst,
) {
  return _model_translate(
    c,
    m,
    dst,
  );
}