polysign_isl.c: isl_polyhedron_affine_sign: use isl_val

[barvinok.git] / parker / count_solutions.h

double count_solutions(Relation& r);