range.h

   1 #include <ginac/ginac.h>
   2 #include <bernstein/piecewise_lst.h>
   3 #include <barvinok/evalue.h>
   4
   5 struct barvinok_options;
   6
   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);