[PPL-devel] ppl/src Box.cc Box.defs.hh Box.inlines.hh Box. ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2007-11-28 15:15:17

Modified files:
	src            : Box.cc Box.defs.hh Box.inlines.hh 
	                 Box.templates.hh 

Log message:
	Enabled the product of a Box and a Grid.
	To do this, for compatibility with the other classes,
	the following methods have been added:
	Box(Congruence_System cgs)
	
	add_constraint_and_minimize(Constraint c)
	add_constraints_and_minimize(Constraint_System cs)
	add_recycled_constraints(Constraint_System cs)
	add_recycled_constraints_and_minimize(Constraint_System& cs)
	
	add_congruence(Congruence cg)
	add_congruence_and_minimize(Congruence_System cgs)
	add_congruences(Congruence_System cgs)
	add_congruences_and_minimize(Congruence_System cgs)
	add_recycled_congruences(Congruence_System cgs)
	add_recycled_congruences_and_minimize(Congruence_System& cgs)
	
	widening_assign
	
	congruences()
	minimized_congruences()
	
	can_recycle_constraint_systems()
	can_recycle_congruence_systems()
	
	throw_dimension_incompatible(char* method, Congruence cg)
	throw_dimension_incompatible(char* method, Congruence_System cgs)
	
	Also private methods added:
	
	extract_interval_congruence(Congruence cg, ...)
	add_congruence_no_check(Congruence cg)
	add_congruences_no_check(Congruence_System cgs)

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=ppl&r1=1.32&r2=1.33
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&r1=1.70&r2=1.71