z3_sys

Function Z3_model_get_sort

Source 
pub unsafe extern "C" fn Z3_model_get_sort(
    c: Z3_context,
    m: Z3_model,
    i: c_uint,
) -> Z3_sort
Expand description

Return an uninterpreted sort that m assigns an interpretation.

§Preconditions:

  • i < Z3_model_get_num_sorts(c, m)

§See also: