[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?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl...