#ifndef UDBM_STUBS_H_
#define UDBM_STUBS_H_

#include <vector>

typedef std::vector<int> carray_t;
#define get_cvector(x) ((carray_t*)Data_custom_val(x))

#define get_dbm_ptr(x) static_cast<dbm_t*>(Data_custom_val(x))

bool
dbm_closure_leq(const raw_t * const dr1, const raw_t * const dr2, cindex_t dim,
                const std::vector<int> &lbounds, const std::vector<int> &ubounds);

#endif  // UDBM_STUBS_H_

#ifndef UDBM_STUBS_H_
#define UDBM_STUBS_H_

#include <vector>

typedef std::vector<int> carray_t;
#define get_cvector(x) ((carray_t*)Data_custom_val(x))

#define get_dbm_ptr(x) static_cast<dbm_t*>(Data_custom_val(x))

#endif  // UDBM_STUBS_H_

--- 
+++ 
@@ -8,4 +8,8 @@
 
 #define get_dbm_ptr(x) static_cast<dbm_t*>(Data_custom_val(x))
 
+bool
+dbm_closure_leq(const raw_t * const dr1, const raw_t * const dr2, cindex_t dim,
+                const std::vector<int> &lbounds, const std::vector<int> &ubounds);
+
 #endif  // UDBM_STUBS_H_
Make closure inclusion test visible (to be used from the priced zone part).
