public extern static Z3_ast Z3_get_pattern(Z3_context a0, Z3_pattern a1, uint a2);
public extern static IntPtr Z3_pattern_to_string(Z3_context a0, Z3_pattern a1);
public extern static uint Z3_get_pattern_num_terms(Z3_context a0, Z3_pattern a1);
public extern static Z3_ast Z3_pattern_to_ast(Z3_context a0, Z3_pattern a1);
public static string Z3_pattern_to_string(Z3_context a0, Z3_pattern a1) {
IntPtr r = LIB.Z3_pattern_to_string(a0, a1);
Z3_error_code err = (Z3_error_code)LIB.Z3_get_error_code(a0);
if (err != Z3_error_code.Z3_OK)
throw new Z3Exception(Marshal.PtrToStringAnsi(LIB.Z3_get_error_msg_ex(a0, (uint)err)));
return Marshal.PtrToStringAnsi(r);
}
public static Z3_ast Z3_get_pattern(Z3_context a0, Z3_pattern a1, uint a2) {
Z3_ast r = LIB.Z3_get_pattern(a0, a1, a2);
Z3_error_code err = (Z3_error_code)LIB.Z3_get_error_code(a0);
if (err != Z3_error_code.Z3_OK)
throw new Z3Exception(Marshal.PtrToStringAnsi(LIB.Z3_get_error_msg_ex(a0, (uint)err)));
return r;
}
public static uint Z3_get_pattern_num_terms(Z3_context a0, Z3_pattern a1) {
uint r = LIB.Z3_get_pattern_num_terms(a0, a1);
Z3_error_code err = (Z3_error_code)LIB.Z3_get_error_code(a0);
if (err != Z3_error_code.Z3_OK)
throw new Z3Exception(Marshal.PtrToStringAnsi(LIB.Z3_get_error_msg_ex(a0, (uint)err)));
return r;
}
