CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-02-01 10:32:30

Modified files: . : TODO src : BD_Shape.defs.hh BD_Shape.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh tests/BD_Shape : relations3.cc tests/Octagonal_Shape: relatwithcons2.cc

Log message: Added methods relation_with() for congruences to the Octagonal_Shape and BD_Shape domains. Added notes wrt these and the relation_with() for costraints in the TODO file. Exception throwers throw_dimension_incompatible() for congruences added to both these domains.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwit...