CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-10-07 10:12:45
Modified files:
src : Polyhedron.defs.hh
Log message:
In the Doxygen documentation of affine (pre)-image operators, fixed a couple
of mismatches in the naming of parameters.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)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?cvsroo…
