importConverterFrom method

void importConverterFrom(
  1. Solver other
)

Implementation

void importConverterFrom(Solver other) {
  _c._z3.solver_import_model_converter(other._solver, _solver);
}