configure.in: add isl flags and libs to pkg-config file
[barvinok/uuh.git] / range.h
blob9ffd688467f90482fd8b1c485f056e7ff167d962
1 #include <ginac/ginac.h>
2 #include <bernstein/piecewise_lst.h>
3 #include <barvinok/evalue.h>
5 struct barvinok_options;
7 bernstein::piecewise_lst *evalue_range_propagation(
8 bernstein::piecewise_lst *pl_all,
9 const evalue *e, const GiNaC::exvector& params,
10 barvinok_options *options);