[PPL-devel] ppl/src algorithms.hh

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at 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=ppl&r1=1.4&r2=1.5