verify.c: extract some helper functions for isl based verification
[barvinok/uuh.git] / topcom.h
blob4637e104d0683711a38408030a3f42820ab74408
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 Param_Polyhedron *TC_P2PP(Polyhedron *P, Polyhedron *C,
8 struct barvinok_options *options);
10 #if defined(__cplusplus)
12 #endif