[PPL-devel] ppl/src GenSys.defs.hh GenSys.cc

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella@cs.unipr.it 2002-03-17 14:49:05 Modified files: src : GenSys.defs.hh GenSys.cc Log message: Added methods adjust_topology_and_dimensions(), has_closure_points() and has_points() to help checking for legality and automatically adjusting generator systems when building polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.49.2.2&r2=1.49.2.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.42.2.2&r2=1.42.2.3