[PPL-devel] ppl/tests Makefile.am NNCinclusion1.cc NNCmini ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2002-03-28 15:42:30

Modified files:
	tests          : Makefile.am 
Added files:
	tests          : NNCinclusion1.cc NNCminimize1.cc 
	                 NNCminimize2.cc NNCminimize3.cc 

Log message:
	Added a test on the inclusion method for NNC_Polyhedron and three
	tests for the full minimization of NNC_Polyhedron.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCinclusion1.cc.diff?cvsroot=ppl&r1=NONE&r2=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize1.cc.diff?cvsroot=ppl&r1=NONE&r2=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cvsroot=ppl&r1=NONE&r2=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cvsroot=ppl&r1=NONE&r2=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.51&r2=1.52