CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-24 10:15:57
Modified files:
src : PolyBase.cc
Log message:
Patched method convex_hull_assign(). The error (not correctly handling the
sorting of gen_sys rows for the parameter y) was NOT related to the
changes done in the strict branch.
Changed (detailed) doxygen comments for the methods obtain_sorted_constraints()
and obtain_sorted_generators().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-03-23 13:58:37
Modified files:
interfaces/Prolog: track_allocation.hh
Log message:
This was always commented out due to a typo.
Missing qualification added.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloc…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-22 20:18:13
Modified files:
src : ConSys.cc
Log message:
Method satisfies_all_constraints(g) reimplemented to work with NNC polyhedra
and to correctly deal with potential (legal) topology mismatches.
As a consequence, now PolyBase::relation_with(g) also works for NNC polyhedra
and/or an NNC generator parameter g.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-22 20:15:40
Modified files:
src : PolyBase.cc
Log message:
The inclusion operator<= re-implemented:
- using the new scalaro product operator ^ when appropriate;
- changed the order of the two nested loops to factor out some
tests that were repeated unnecessarily.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…
CVSROOT: /cvs/ppl
Module name: ppl
Branch: strict
Changes by: zaffanella(a)cs.unipr.it 2002-03-22 15:42:54
Modified files:
src : ConSys.cc GenSys.cc PolyBase.cc
Log message:
Metods GenSys::affine_image(v, e, d) and ConSys::affine_preimage(v, e, d)
no longer require the expression `e' to have the _same_ number of columns
of the matrix; now they only require dimension compatibility.
This change, while allowing a correct implementation for NNC topology
matrices, also turns out to be a potentially remarkable performance
improvement.
The corresponding methods of PolyBase changed accordingly:
- no longer performing the dangerous const_cast on the expression;
- missing assertion OK(false) placed on exit.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…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/PolyBase.cc.diff?cvsroot=…
