CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-10-06 22:30:14
Modified files: src : algorithms.hh
Log message: Added a tentative, inefficient implementation for template <typename PH> bool poly_hull_assign_if_exact(PH& p, const PH& q): if the poly-hull of `p' and `q' is exact, assigns it to `p' and returns `true'; it returns false otherwise. Added a tentative implementation for template <typename PH> void complete_reduction(PowerSet<Determinate<PH> >& p): it collapses all the elements of `p' that can be poly-hulled without loss of precision. Added tentative implementations of template <typename PH> void H79_widening_assign(PowerSet<Determinate<PH> >& r, const PowerSet<Determinate<PH> >& q) and template <typename PH> void BBRZ02_widening_assign(PowerSet<Determinate<PH> >& r, const PowerSet<Determinate<PH> >& q): they are meant to generalize the widenings on polyhedra to sets of polyhedra.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot...