March 2002 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-17 11:00:11 Modified files: . : configure.ac Log message: Configuration for producing dlopen modules and WIN32 dlls. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: roberto(a)cs.unipr.it 2002-03-17 08:15:32 Modified files: src : Polyhedron.inlines.hh Log message: Add missing `inline' qualifiers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

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

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-17 00:38:02 Modified files: src : PolyBase.cc PolyBase.defs.hh PolyBase.inlines.hh Log message: The Topology parameter is now the first one in constructors. Added the missing topology consistency assertion to limited_widening_assign. Using the static Constraint members for adding the positivity and epsilon related constraints in the constructors. Constructor PolyBase(Topology, ConSys) now automatically adjust the constraint system according to the first parameter, throwing an exception if we try to insert a strict inequality into a Polyhedron. 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.defs.hh Polyhedron.inlines. ...
by Enea Zaffanella 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-17 00:28:54 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.cc Log message: Added the assignment operator. All methods are now inlined. Patches: 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src GenSys.defs.hh GenSys.inlines.hh
by Enea Zaffanella 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-17 00:27:00 Modified files: src : GenSys.defs.hh GenSys.inlines.hh Log message: The Topology parameter is now the first one in constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv…

1 0

ppl/src ConSys.defs.hh ConSys.inlines.hh ConSys.cc
by Enea Zaffanella 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-17 00:24:58 Modified files: src : ConSys.defs.hh ConSys.inlines.hh ConSys.cc Log message: Added methods adjust_topology_and_dimensions() and contains_strict_inequality() to help checking for legality and automatically adjusting constraint systems when building polyhedra. Now the Topology parameter is the first one in constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src Constraint.defs.hh Constraint.inlines. ...
by Enea Zaffanella 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-17 00:19:17 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Constraint.cc Log message: Added static methods to produce the two (zero-dim) epsilon constraints replacing the positivity constraint in NNC polyhedra (0 \leq \epsilon \leq 1). Methods is_trivial_true() and is_trivial_false() modified to also work for strict inequalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl/src ConSys.cc ConSys.defs.hh ConSys.inline ...
by Enea Zaffanella 16 Mar '02

16 Mar '02

1 0

ppl/src Topology.hh
by Enea Zaffanella 16 Mar '02

16 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-16 13:55:33 Added files: src : Topology.hh Log message: Put under CVS control: new header file for the enumeration controlling the topological kind of Row, Matrix, Constraint, Generator, ConSys, GenSys and PolyBase objects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Topology.hh.diff?cvsroot=…

1 0

ppl/src Row.inlines.hh
by Enea Zaffanella 15 Mar '02

15 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-15 11:29:56 Modified files: src : Row.inlines.hh Log message: Re-ordering the initializer in Row constrauctors to avoid the warnings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0