|
 |
ddcf5ec |
--- products/ap_pkgrid.c.orig 2009-12-22 06:33:27.000000000 -0700
|
|
|
ddcf5ec |
+++ products/ap_pkgrid.c 2011-07-06 15:42:49.268454682 -0600
|
|
|
ddcf5ec |
@@ -20,6 +20,16 @@
|
|
|
ddcf5ec |
#include "pk_user.h"
|
|
|
ddcf5ec |
#include "ppl_grid.h"
|
|
|
ddcf5ec |
|
|
|
ddcf5ec |
+#pragma weak lincons0_of_vector
|
|
|
ddcf5ec |
+#pragma weak pk_approximate
|
|
|
ddcf5ec |
+#pragma weak pk_bottom
|
|
|
ddcf5ec |
+#pragma weak pk_bound_linexpr
|
|
|
ddcf5ec |
+#pragma weak pk_canonicalize
|
|
|
ddcf5ec |
+#pragma weak pk_dimension
|
|
|
ddcf5ec |
+#pragma weak pk_free
|
|
|
ddcf5ec |
+#pragma weak pk_is_bottom
|
|
|
ddcf5ec |
+#pragma weak pk_meet_lincons_array
|
|
|
ddcf5ec |
+
|
|
|
ddcf5ec |
void ap_pkgrid_reduce(ap_manager_t* manager,
|
|
|
ddcf5ec |
ap_reducedproduct_t* a)
|
|
|
ddcf5ec |
{
|