[PPL-devel] Z-polytopes in PPL

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