CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-10-02 12:05:58

Modified files: src : ConSys.cc

Log message: Modified ConSys::adjust_topology_and_dimension() so that if the system of constraints was sorted, does not contains strict inequalities and is not necessarily closed and if the new topology is NECESSARILY_CLOSED, we sort the system again.

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