[PPL-devel] ppl src/Polyhedron.defs.hh tests/NNCminimize1. ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2002-06-05 15:55:37

Modified files:
	src            : Polyhedron.defs.hh 
	tests          : NNCminimize1.cc NNCminimize2.cc NNCminimize3.cc 
	                 NNCminimize4.cc NNCminimize6.cc 

Log message:
	Methods strongly_minimize(), strongly_minimize_constraints() and
	strongly_minimize_generators() are now private; tests changed to
	call the public methods minimized_constraints() and minimized_generators(),
	instead.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.101&r2=1.102
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize1.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4