October 2001 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc
by Enea Zaffanella 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-31 14:36:58 Modified files: src : Polyhedron.cc Log message: In the checking function OK, we were forgetting return or jump to the appropriate code after having checked the correctness of a 0-space dim polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-31 12:52:26 Modified files: src : Polyhedron.cc Log message: A missing "return" added inside "add_dimensions_and_constraints". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-31 12:10:31 Modified files: src : Polyhedron.defs.hh Log message: Added specification for add_dimensions_and_constraints(ConSys& cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-31 11:52:54 Modified files: src : Polyhedron.cc Log message: In functions Polyhedron::widening_assign and Polyhedron::limited_widening_assign considered the case of the polyhedra in a zero-dimensional space. In function Polyhedron::limited_widening_assign considered the case of cs.space_dimension() < space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src GenSys.defs.hh
by Roberto Bagnara 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-31 11:32:16 Modified files: src : GenSys.defs.hh Log message: Added an example where a system of generators is printed by using more features of the STL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-31 11:26:16 Modified files: src : Polyhedron.cc Log message: When the user invokes Polyhedron::constraints() on an empty polyhedron, we now return the inconsistent constraint of the right dimension. This also implies that a polyhedron with the EMPTY flag set can still have a non-empty con_sys; therefore, we clear the con_sys whenever we change the dimension of an empty polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc ConSys.cc
by Elisa Ricci 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-31 10:28:03 Modified files: src : Polyhedron.cc ConSys.cc Log message: In functions Polyhedron::includes and ConSys::satisfies_all_constraints the cases of a polyhedron in a zero-dimensional space and of g.space_dimension < space_dimension are considered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src GenSys.cc Polyhedron.cc Row.cc Row.defs.hh
by Elisa Ricci 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-31 09:56:58 Modified files: src : GenSys.cc Polyhedron.cc Row.cc Row.defs.hh Log message: The function projected_scalar_prod() moved in `namespace Parma_Polyhedra_Library'. The case of c.space_dimension < polyhedron.space_dimension is considered in functions Polyhedron::satisfies and GenSys::satisy. In function Polyhedron::satisfies the cases of empty polyhedron and of the polyhedron is a zero-dimensional space are considered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src LinExpression.defs.hh
by Elisa Ricci 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-31 08:47:20 Modified files: src : LinExpression.defs.hh Log message: The copy-constructor of a linear expression with a specified dimension is PPL_INTERNAL and not public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/tests affinetrans.cc
by Elisa Ricci 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-30 22:01:24 Modified files: tests : affinetrans.cc Log message: We can use the linear expression `x + 4' instead of `x + 0*y + 4'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvs…

1 0