CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-19 13:15:49
Modified files:
src : GenSys.cc
Log message:
In function OK(), when checking for the existence of a point,
we now use is_point() to (correctly) disregard closure points.
Also checking for topology mismatches between gen_sys and its elements.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-19 01:07:12
Modified files:
src : PolyBase.cc
Log message:
Consistency modification: all static functions defined to just throw
an exception now print the class name of the invoking object
(dirty kludge using the topology() accessor; may be improved).
Added a whole set of such functions for reporting topology clashes
and illegal generator systems.
Adjusted several comments.
In method remove_dimensions, the case when we remove _all_ dimensions
captured earlier.
Provided a temporary patches for the methods PolyBase::insert(const Constraint&)
and PolyBase::insert(const Generator&).
Added topology-inconsistency checks to add_generators(gs).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
