March 2002 - PPL-devel - BUGSENG Mailman

ppl/src GenSys.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 13:15:49 Modified files: src : GenSys.cc Log message: In function OK(), when checking for the existence of a point, we now use is_point() to (correctly) disregard closure points. Also checking for topology mismatches between gen_sys and its elements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 11:42:53 Modified files: src : PolyBase.cc Log message: Exploiting the new explicit conversions from Constraint/Generator to LinExpression in PolyBase methods - insert(const Constraint&) - insert(const Generator&) - convex_difference_assign(const PolyBase&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src LinExpression.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 11:38:03 Modified files: src : LinExpression.cc Log message: Corrected a bug in the newly introduced constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvs…

1 0

ppl/src LinExpression.defs.hh LinExpression.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 11:22:01 Modified files: src : LinExpression.defs.hh LinExpression.cc Log message: Added explicit constructors taking a constraint/generator as parameter: they are PPL_INTERNAL and extract from the parameter a "necessarily closed" copy of the corresponding linear expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvs…

1 0

ppl doc/devref-browse.doxyconf-latex.in doc/de ...
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 01:09:56 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in src : Makefile.am Log message: Added files NNC_Polyhedron.* and PolyBase_* to Makefile.am and to the INPUT_FILE flags for doxygen devref configuration files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 01:07:12 Modified files: src : PolyBase.cc Log message: Consistency modification: all static functions defined to just throw an exception now print the class name of the invoking object (dirty kludge using the topology() accessor; may be improved). Added a whole set of such functions for reporting topology clashes and illegal generator systems. Adjusted several comments. In method remove_dimensions, the case when we remove _all_ dimensions captured earlier. Provided a temporary patches for the methods PolyBase::insert(const Constraint&) and PolyBase::insert(const Generator&). Added topology-inconsistency checks to add_generators(gs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src Polyhedron.inlines.hh
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 00:50:57 Modified files: src : Polyhedron.inlines.hh Log message: Methods reordered according to Polyhedron.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src PolyBase.defs.hh
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 00:47:12 Modified files: src : PolyBase.defs.hh Log message: Method topology() made public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…

1 0

ppl/src NNC_Polyhedron.types.hh NNC_Polyhedron ...
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 00:45:38 Added files: src : NNC_Polyhedron.types.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh NNC_Polyhedron.cc Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.types.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 19 Mar '02

19 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-19 00:43:29 Modified files: src : Polyhedron.defs.hh Log message: Removed useless include directives (already included by PolyBase.defs.hh). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0