[PPL-devel] Z-polytopes in PPL

[Michael Classen]

Hello,

this might be a trivial question for some, but I just seem to have
problems with it:

I want to adapt our internal LooPo interface to use PPL Grids instead
of Z-Polytopes. Now, Z-Polytopes were typically defined by a domain
(or inequality system) and an affine function, which is applied to
that domain (also alled Lattice).

Now, in PPL, as far as I can see, you can only create Grids out of
inequality systems, congruence systems or Grid generators. Is there an
easy way (function, constructor) to generate a Grid from an inequality
system + affine function, like in the old Polylib?

thank you in advance!

Greetings,
Michael