C# (CSharp) Z3_probe Examples

Example #1

File: Native.cs Project: killbug2004/Snippets

 public static Z3_probe Z3_probe_not(Z3_context a0, Z3_probe a1) {
     Z3_probe r = LIB.Z3_probe_not(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;
 }

Example #2

File: Native.cs Project: killbug2004/Snippets

 public static double Z3_probe_apply(Z3_context a0, Z3_probe a1, Z3_goal a2) {
     double r = LIB.Z3_probe_apply(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;
 }

Example #3

File: Native.cs Project: killbug2004/Snippets

 public static void Z3_probe_dec_ref(Z3_context a0, Z3_probe a1) {
     LIB.Z3_probe_dec_ref(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)));
 }

Example #4

File: Native.cs Project: killbug2004/Snippets

 public static Z3_tactic Z3_tactic_cond(Z3_context a0, Z3_probe a1, Z3_tactic a2, Z3_tactic a3) {
     Z3_tactic r = LIB.Z3_tactic_cond(a0, a1, a2, a3);
     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;
 }

Example #5

File: Native.cs Project: killbug2004/Snippets

 public extern static Z3_probe Z3_probe_not(Z3_context a0, Z3_probe a1);

Example #6

File: Native.cs Project: killbug2004/Snippets

 public extern static double Z3_probe_apply(Z3_context a0, Z3_probe a1, Z3_goal a2);

Example #7

File: Native.cs Project: killbug2004/Snippets

 public extern static Z3_probe Z3_probe_or(Z3_context a0, Z3_probe a1, Z3_probe a2);

Example #8

File: Native.cs Project: killbug2004/Snippets

 public extern static Z3_tactic Z3_tactic_fail_if(Z3_context a0, Z3_probe a1);

Example #9

File: Native.cs Project: killbug2004/Snippets

 public extern static Z3_tactic Z3_tactic_cond(Z3_context a0, Z3_probe a1, Z3_tactic a2, Z3_tactic a3);

Example #10

File: Native.cs Project: killbug2004/Snippets

 public extern static Z3_tactic Z3_tactic_when(Z3_context a0, Z3_probe a1, Z3_tactic a2);

Example #11

File: Native.cs Project: killbug2004/Snippets

 public extern static void Z3_probe_dec_ref(Z3_context a0, Z3_probe a1);