C# (CSharp) Z3_func_entry Exemples

Exemple #1

Fichier : Native.cs Projet : killbug2004/Snippets

 public extern static Z3_ast Z3_func_entry_get_arg(Z3_context a0, Z3_func_entry a1, uint a2);

Exemple #2

Fichier : Native.cs Projet : killbug2004/Snippets

 public extern static uint Z3_func_entry_get_num_args(Z3_context a0, Z3_func_entry a1);

Exemple #3

Fichier : Native.cs Projet : killbug2004/Snippets

 public extern static Z3_ast Z3_func_entry_get_value(Z3_context a0, Z3_func_entry a1);

Exemple #4

Fichier : Native.cs Projet : killbug2004/Snippets

 public extern static void Z3_func_entry_dec_ref(Z3_context a0, Z3_func_entry a1);

Exemple #5

Fichier : Native.cs Projet : killbug2004/Snippets

 public static Z3_ast Z3_func_entry_get_arg(Z3_context a0, Z3_func_entry a1, uint a2) {
     Z3_ast r = LIB.Z3_func_entry_get_arg(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;
 }

Exemple #6

Fichier : Native.cs Projet : killbug2004/Snippets

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