Beispiel #1
0
 public static Z3_ast_vector Z3_ast_map_keys(Z3_context a0, Z3_ast_map a1) {
     Z3_ast_vector r = LIB.Z3_ast_map_keys(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;
 }
Beispiel #2
0
 public static string Z3_ast_map_to_string(Z3_context a0, Z3_ast_map a1) {
     IntPtr r = LIB.Z3_ast_map_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);
 }
Beispiel #3
0
 public static int Z3_ast_map_contains(Z3_context a0, Z3_ast_map a1, Z3_ast a2) {
     int r = LIB.Z3_ast_map_contains(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;
 }
Beispiel #4
0
 public static void Z3_ast_map_reset(Z3_context a0, Z3_ast_map a1) {
     LIB.Z3_ast_map_reset(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)));
 }
Beispiel #5
0
 public extern static Z3_ast_vector Z3_ast_map_keys(Z3_context a0, Z3_ast_map a1);
Beispiel #6
0
 public extern static IntPtr Z3_ast_map_to_string(Z3_context a0, Z3_ast_map a1);
Beispiel #7
0
 public extern static void Z3_ast_map_reset(Z3_context a0, Z3_ast_map a1);
Beispiel #8
0
 public extern static uint Z3_ast_map_size(Z3_context a0, Z3_ast_map a1);
Beispiel #9
0
 public extern static void Z3_ast_map_erase(Z3_context a0, Z3_ast_map a1, Z3_ast a2);
Beispiel #10
0
 public extern static void Z3_ast_map_insert(Z3_context a0, Z3_ast_map a1, Z3_ast a2, Z3_ast a3);
Beispiel #11
0
 public extern static Z3_ast Z3_ast_map_find(Z3_context a0, Z3_ast_map a1, Z3_ast a2);
Beispiel #12
0
 public extern static int Z3_ast_map_contains(Z3_context a0, Z3_ast_map a1, Z3_ast a2);
Beispiel #13
0
 public extern static void Z3_ast_map_dec_ref(Z3_context a0, Z3_ast_map a1);