lexmin.cc: partial_order::compare: use substitution rather than domain cutting
[barvinok.git] / reduce_domain.h
blobb53cf8ab90bf33bdf40976710285bb020cc4cd44
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 Polyhedron *reduce_domain(Polyhedron *D, Matrix *CT, Polyhedron *CEq,
8 Polyhedron **fVD, int nd, unsigned MaxRays);
10 #if defined(__cplusplus)
12 #endif