[PPL-devel] ppl/tests/Polyhedron dualhypercubes.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2007-10-27 12:36:30

Modified files:
	tests/Polyhedron: dualhypercubes.cc 

Log message:
	Modified to compute (and print in noisy mode) information on the cardinality
	of the intermediate results, as well as checking the cardinalities of the
	final results to match those reported in the FAC 2005 paper.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/dualhypercubes.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15