[PPL-devel] ppl/src Octagon.defs.hh Octagon.inlines.hh Oct ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	octagons
Changes by:	zaffanella at cs.unipr.it	2006-04-18 23:43:28

Modified files:
	src            : Octagon.defs.hh Octagon.inlines.hh 
	                 Octagon.templates.hh 

Log message:
	Corrected copyright year and address of the FSF.
	Added method strictly_contains().
	Methods poly_hull_assign() and poly_hull_assign_and_minimize() renamed
	as oct_hull_assign() and oct_hull_assign_and_minimize().
	Added method upper_bound_assign().
	Added methods oct_hull_assign_if_exact() and upper_bound_assign_if_exact(),
	both with dummy implementations always returning false.
	Added method difference_assign().
	Added token parameter tp to CH78_widening_assign(), temporarily ignored,
	so as to allow for using this widening in widen_fun_ref().
	Duplicated code for numer_denom() and assign_min() removed: now using
	numer_denom() and min_assign() as defined in Implementation::BD_Shapes.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.4&r2=1.1.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff?cvsroot=ppl&only_with_tag=octagons&r1=1.1.2.7&r2=1.1.2.8