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.234&r2=1.235 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.110&r2=1.111 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&r1=1.90&r2=1.91 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.diff?cvsroot=ppl&r1=1.38&r2=1.39 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.hh.diff?cvsroot=ppl&r1=1.64&r2=1.65 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.diff?cvsroot=ppl&r1=1.27&r2=1.28 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwithcons2.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9