isl_obj_list.c: update to use of isl_printer

[barvinok.git] / ex_convert.h

#include <ginac/ginac.h>
#include <barvinok/evalue.h>

evalue *ex2evalue(const GiNaC::ex& poly, const GiNaC::exvector& params);