1 #if defined(__cplusplus)
5 #include <barvinok/evalue.h>
8 Polyhedron
*check_poly_context_scan(Polyhedron
*C
, struct verify_options
*options
);
9 void check_poly_init(Polyhedron
*C
, struct verify_options
*options
);
10 int check_poly(Polyhedron
*S
, Polyhedron
*CS
, evalue
*EP
, int exist
,
11 int nparam
, int pos
, Value
*z
, const struct verify_options
*options
);
13 #if defined(__cplusplus)