evalue_convert.cc: evalue_print_isl: print end-of-line

[barvinok.git] / evalue_util.h

#include <iostream>
#include <gmp.h>
#include <barvinok/evalue.h>

void evalue_print(std::ostream& o, evalue *e, char **p);