[PPL-devel] ppl/src BD_Shape.defs.hh BD_Shape.templates.hh ...
Enea Zaffanella
zaffanella at cs.unipr.it
Wed Aug 20 12:45:51 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2008-08-20 12:45:51
Modified files:
src : BD_Shape.defs.hh BD_Shape.templates.hh
Box.defs.hh Box.templates.hh Grid.defs.hh
Grid_public.cc Octagonal_Shape.defs.hh
Octagonal_Shape.templates.hh
Pointset_Powerset.defs.hh
Pointset_Powerset.templates.hh
Polyhedron.defs.hh Polyhedron_public.cc
Log message:
The method intersection_preserving_enlarge_assign() now returns a boolean:
if false is returned the intersection is empty.
Using the new return value, improved the implementation for Pointset_Powerset
by dropping those disjuncts that have empty intersection with all of the
disjunct of the context.
Corrected a bug in the Polyhedron method regarding the correct handling
of equality constraints.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.125&r2=1.126
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&r1=1.108&r2=1.109
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&r1=1.117&r2=1.118
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&r1=1.73&r2=1.74
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&r1=1.76&r2=1.77
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.diff?cvsroot=ppl&r1=1.51&r2=1.52
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.hh.diff?cvsroot=ppl&r1=1.80&r2=1.81
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.diff?cvsroot=ppl&r1=1.47&r2=1.48
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templates.hh.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.340&r2=1.341
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.126&r2=1.127
More information about the PPL-devel
mailing list