[PPL-devel] ppl src/ConSys.cc tests/Makefile.am tests/rela ...

Tue Sep 24 10:34:42 CEST 2002

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	ppl-0_4-branch
Changes by:	zaffanella at cs.unipr.it	2002-09-24 10:34:42

Modified files:
	src            : ConSys.cc 
	tests          : Makefile.am 
Added files:
	tests          : relations14.cc 

Log message:
	Added the test showing a bug when invoking method
	Polyhedron::relation_with(const Generator& ).
	Implemented the correction in method
	ConSys::satisfies_all_constraints(const Generator& ).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&only_with_tag=ppl-0_4-branch&r1=1.38.2.1&r2=1.38.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations14.cc.diff?cvsroot=ppl&only_with_tag=ppl-0_4-branch&r1=NONE&r2=1.1.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=ppl-0_4-branch&r1=1.79.2.1&r2=1.79.2.2