Пример #1
0
 public static Z3_ast Z3_get_literal(Z3_context a0, Z3_literals a1, uint a2) {
     Z3_ast r = LIB.Z3_get_literal(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;
 }
Пример #2
0
 public static void Z3_block_literals(Z3_context a0, Z3_literals a1) {
     LIB.Z3_block_literals(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)));
 }
Пример #3
0
 public extern static void Z3_block_literals(Z3_context a0, Z3_literals a1);
Пример #4
0
 public extern static void Z3_disable_literal(Z3_context a0, Z3_literals a1, uint a2);
Пример #5
0
 public extern static Z3_ast Z3_get_literal(Z3_context a0, Z3_literals a1, uint a2);
Пример #6
0
 public extern static IntPtr Z3_get_label_symbol(Z3_context a0, Z3_literals a1, uint a2);
Пример #7
0
 public extern static uint Z3_get_num_literals(Z3_context a0, Z3_literals a1);