get_symbol_int method

int get_symbol_int(Z3_context c, Z3_symbol s)

\brief Return the symbol int value.

\pre Z3_get_symbol_kind(s) == Z3_INT_SYMBOL

\sa Z3_mk_int_symbol

def_API('Z3_get_symbol_int', INT, (_in(CONTEXT), _in(SYMBOL)))

Implementation

int get_symbol_int(
  Z3_context c,
  Z3_symbol s,
) {
  return _get_symbol_int(
    c,
    s,
  );
}