コード例 #1
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public static void Z3_rcf_get_numerator_denominator(Z3_context a0, Z3_rcf_num a1, [In, Out] ref Z3_rcf_num a2, [In, Out] ref Z3_rcf_num a3) {
     LIB.Z3_rcf_get_numerator_denominator(a0, a1, ref a2, ref 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)));
 }
コード例 #2
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public static int Z3_rcf_neq(Z3_context a0, Z3_rcf_num a1, Z3_rcf_num a2) {
     int r = LIB.Z3_rcf_neq(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;
 }
コード例 #3
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public static string Z3_rcf_num_to_decimal_string(Z3_context a0, Z3_rcf_num a1, uint a2) {
     IntPtr r = LIB.Z3_rcf_num_to_decimal_string(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 Marshal.PtrToStringAnsi(r);
 }
コード例 #4
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public extern static void Z3_rcf_get_numerator_denominator(Z3_context a0, Z3_rcf_num a1, [In, Out] ref Z3_rcf_num a2, [In, Out] ref Z3_rcf_num a3);
コード例 #5
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public static void Z3_rcf_del(Z3_context a0, Z3_rcf_num a1) {
     LIB.Z3_rcf_del(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)));
 }
コード例 #6
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public extern static IntPtr Z3_rcf_num_to_string(Z3_context a0, Z3_rcf_num a1, int a2, int a3);
コード例 #7
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public extern static IntPtr Z3_rcf_num_to_decimal_string(Z3_context a0, Z3_rcf_num a1, uint a2);
コード例 #8
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public extern static int Z3_rcf_neq(Z3_context a0, Z3_rcf_num a1, Z3_rcf_num a2);
コード例 #9
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public extern static Z3_rcf_num Z3_rcf_power(Z3_context a0, Z3_rcf_num a1, uint a2);
コード例 #10
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public extern static Z3_rcf_num Z3_rcf_inv(Z3_context a0, Z3_rcf_num a1);
コード例 #11
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public extern static Z3_rcf_num Z3_rcf_div(Z3_context a0, Z3_rcf_num a1, Z3_rcf_num a2);
コード例 #12
0
ファイル: Native.cs プロジェクト: killbug2004/Snippets 
 public extern static void Z3_rcf_del(Z3_context a0, Z3_rcf_num a1);