[PATCH 07/10] Use PIP to determine the integer feasibility of a constraint system.

[Sven Verdoolaege]

On Sat, Jan 15, 2011 at 03:05:12AM -0600, Sebastian Pop wrote:
> +bool
> +ppl_powerset_is_empty (ppl_Pointset_Powerset_C_Polyhedron_t ps,
> +		       int nb_params ATTRIBUTE_UNUSED)

Why would you have to know the number of parameters to check
whether a set is empty?  That makes no sense.

skimo