add isl_union_map_card
[barvinok.git] / polysign.h
blob1d62f05649d95543d3077d6e1bf7061dd971f854
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct barvinok_options;
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 barvinok_options *options);
15 enum order_sign PL_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 enum lp_result { lp_ok = 0, lp_unbounded, lp_empty };
23 enum lp_dir { lp_min, lp_max };
25 enum lp_result constraints_opt(Matrix *C, Value *obj, Value denom,
26 enum lp_dir dir, Value *opt,
27 struct barvinok_options *options);
28 enum lp_result glpk_constraints_opt(Matrix *C, Value *obj, Value denom,
29 enum lp_dir dir, Value *opt);
30 enum lp_result PL_constraints_opt(Matrix *C, Value *obj, Value denom,
31 enum lp_dir dir, Value *opt,
32 unsigned MaxRays);
33 enum lp_result cdd_constraints_opt(Matrix *C, Value *obj, Value denom,
34 enum lp_dir dir, Value *opt);
35 enum lp_result cddf_constraints_opt(Matrix *C, Value *obj, Value denom,
36 enum lp_dir dir, Value *opt);
37 enum lp_result pip_constraints_opt(Matrix *C, Value *obj, Value denom,
38 enum lp_dir dir, Value *opt);
40 enum lp_result polyhedron_opt(Polyhedron *P, Value *obj, Value denom,
41 enum lp_dir dir, Value *opt,
42 struct barvinok_options *options);
43 enum lp_result PL_polyhedron_opt(Polyhedron *P, Value *obj, Value denom,
44 enum lp_dir dir, Value *opt);
46 /* Computes min and max of obj/denom over D, with min rounded up
47 * and max rounded down to an integer. obj has D->Dimension+1
48 * elements, with the constant term in position D->Dimension.
50 enum lp_result polyhedron_range(Polyhedron *D, Value *obj, Value denom,
51 Value *min, Value *max,
52 struct barvinok_options *options);
53 enum lp_result PL_polyhedron_range(Polyhedron *D, Value *obj, Value denom,
54 Value *min, Value *max,
55 struct barvinok_options *options);
56 enum lp_result glpk_polyhedron_range(Polyhedron *D, Value *obj, Value denom,
57 Value *min, Value *max,
58 struct barvinok_options *options);
59 enum lp_result cdd_polyhedron_range(Polyhedron *D, Value *obj, Value denom,
60 Value *min, Value *max,
61 struct barvinok_options *options);
62 enum lp_result cddf_polyhedron_range(Polyhedron *D, Value *obj, Value denom,
63 Value *min, Value *max,
64 struct barvinok_options *options);
65 enum lp_result pip_polyhedron_range(Polyhedron *D, Value *obj, Value denom,
66 Value *min, Value *max,
67 struct barvinok_options *options);
68 #if defined(__cplusplus)
70 #endif