Ejemplos de Z3_constructor_list en C# (CSharp)

Ejemplo n.º 1

Archivo: Native.cs Proyecto: killbug2004/Snippets

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

Ejemplo n.º 2

Archivo: Native.cs Proyecto: killbug2004/Snippets

 public extern static void Z3_del_constructor_list(Z3_context a0, Z3_constructor_list a1);