CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: ericci@cs.unipr.it 2001-10-26 12:14:54

Modified files: src : Polyhedron.cc

Log message: Added the dimension-consistency check in the function add_constraints_lazy and add_generators. In functions add_constraints and add_generators we use if(check_empty()) instead of minimize() if(is_empty()) In functions add_constraints and add_constraints_lazy we resize the matrix of constraints that we add if num_columns - 1 < space_dimension().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...