barvinok_maximize: new tool for maximizing piecewise quasi-polynomial
[barvinok.git] / polysign.h
blob300a2cdf921b5a05738f46a50a3e44ed5f177412
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 #include "lexmin.h"
9 enum order_sign { order_lt, order_le, order_eq, order_ge, order_gt, order_unknown,
10 order_undefined };
12 /* Returns the sign of the affine function specified by T on the polyhedron D */
13 enum order_sign polyhedron_affine_sign(Polyhedron *D, Matrix *T,
14 struct lexmin_options *options);
15 enum order_sign polylib_polyhedron_affine_sign(Polyhedron *D, Matrix *T,
16 struct barvinok_options *options);
17 enum order_sign cdd_polyhedron_affine_sign(Polyhedron *D, Matrix *T,
18 struct barvinok_options *options);
19 enum order_sign cddf_polyhedron_affine_sign(Polyhedron *D, Matrix *T,
20 struct barvinok_options *options);
22 #if defined(__cplusplus)
24 #endif