def _generic_model(self, z3_model):
model = { }<EOL>for m_f in z3_model:<EOL><INDENT>n = _z3_decl_name_str(m_f.ctx.ctx, m_f.ast).decode()<EOL>m = m_f()<EOL>me = z3_model.eval(m)<EOL>model[n] = self._abstract_to_primitive(me.ctx.ctx, me.ast)<EOL><DEDENT>return model<EOL>
Converts a Z3 model to a name->primitive dict.