[PPL-devel] ppl/tests addconstraints2.cc

Elisa Ricci ericci at spartacus.cs.unipr.it
Tue Oct 30 12:17:38 CET 2001


CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	ericci at cs.unipr.it	2001-10-30 12:17:38

Modified files:
	tests          : addconstraints2.cc 

Log message:
	Changed the second system of constraints (ConSys c2) to have
	a non-empty polyhedron.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2




More information about the PPL-devel mailing list