CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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/dualhypercube...