[PPL-devel] Request Info

[Roberto Bagnara]

pasquale spica wrote:
> Spett.le Gruppo di Ricerca della Parma Polyhedra Library
> 
> sono uno studente che stà utilizzando la liberia PPL ( in C++)
> ed ho notato che nella classe 
> Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
> non è previsto un metodo UNION fra powerset di poliedri in pratica se ho 
> due powerset poliedri, per alcune mie esigenze, non so come fare.
> E' forse possible farlo in qualche modo?
> 
> Ad un certo punto del mio codice ho :
> 
>      Polyhedra_Powerset<NNC_Polyhedron>*  or1 =set_poly_pwset(*i);
>      Polyhedra_Powerset<NNC_Polyhedron>*  or2 =set_poly_pwset(*f);
> 
> dove la funzione set_poly_pwset ha la seguente signature :
>      Polyhedra_Powerset<NNC_Polyhedron>* 
> PplInterface::set_poly_pwset(Term *t)
> 
> ora mi va bene tutto ma come posso fare l'OR fra or1 e or2.
> 
> Nel ringraziarvi  della vostra diponibilità porgo i miei più cordiali 
> saluti
> Pasquale Spica

Dear Pasquale,

you can simply do something like

   or1->least_upper_bound_assign(*or2);

this would turn `*or1' into a powerset representing the least upper bound
between `or1' and `*or2'.  Notice that it would be imprecise to call this
"the union" of the elements in `*or1' and `*or2', since all powersets, and
polyhedra-powersets do not make an exception, are sets of non redundant
elements.
All the best,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it