CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2004-10-27 12:38:45

Modified files: src : ConSys.inlines.hh GenSys.inlines.hh Linear_System.defs.hh Linear_System.inlines.hh

Log message: Added static method Linear_System::max_space_dimension(). Corresponding methods of ConSys and GenSys are now implemented using this one.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.d...