- PPL-devel - BUGSENG Mailman

ppl/src PolyBase.types.hh
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 11:00:48 Removed files: src : PolyBase.types.hh Log message: Forgot to remove this one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.types.hh.diff?cv…

1 0

ppl/src PolyBase.cc PolyBase.defs.hh PolyBase. ...
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 10:26:58 Removed files: src : PolyBase.cc PolyBase.defs.hh PolyBase.inlines.hh Log message: Getting rid of these old files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.inlines.hh.diff?…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh Polyh ...
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 10:22:02 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Log message: All functions created to throw exceptions are now private methods of the class Polyhedron. Exception messages modified to reflect the changes in the names of the classes and in the names of methods (e.g., add_constraint instead of insert). Added topology-compatibility test to method swap(Polyhedron& y). In all public methods, we now first check for topology inconsistencies, then we check for dimension inconsistencies. 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/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-04 10:11:14 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Add copy-conversion functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h lpenum/lpenum.c
by Roberto Bagnara 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-04 08:46:36 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Basic interface for the NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs… Modified files: interfaces/C/lpenum: lpenum.c Log message: Use the new interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh
by Roberto Bagnara 03 Apr '02

03 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-03 19:33:47 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: Allow the manipulation of closed polyhedra only (for the moment). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 03 Apr '02

03 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-03 19:33:29 Modified files: interfaces/C : ppl_c.cc Log message: Allow the manipulation of closed polyhedra only (for the moment). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 03 Apr '02

03 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-03 19:31:57 Modified files: src : Polyhedron.defs.hh Log message: Make the destructor public (for the moment). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 03 Apr '02

03 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-03 18:26:50 Modified files: src : Polyhedron.defs.hh Log message: Modified doxygen comments to account for the possibility of exceptions caused by incompatible topologies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src C_Polyhedron.types.hh
by Enea Zaffanella 03 Apr '02

03 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-03 17:15:14 Modified files: src : C_Polyhedron.types.hh Log message: Cutted (redundant) brief namespace description to avoid a Doxygen warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.types.hh.dif…

1 0