[PPL-devel] ppl/src Grid_public.cc

Wed May 25 14:46:58 CEST 2005

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-05-25 14:46:58

Modified files:
	src            : Grid_public.cc 

Log message:
	Take the extra temporary congruence system out of the OK minimize
	test.  Modify add_recycled_congruences and
	add_recycled_congruences_and_minimize to update the congruences before
	adding new ones.  Also improve the empty handling in both these
	methods.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.23&r2=1.1.2.24