- PPL-devel - BUGSENG Mailman

Polyhedra/doc devref.tex user.tex
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/10 10:32:12 Modified files: doc : devref.tex user.tex Log message: Title page improved: we now have affiliations for the people currently involved that have a known affiliation. We also acknowledge the support we received from various sources.

1 0

Polyhedra/doc definitions.dox
by Elisa Ricci 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 10:28:21 Modified files: doc : definitions.dox Log message: Changed the notation of the scalar product: now we use "\langle x, y \rangle" instead of "x \circ y".

1 0

Polyhedra/src Constraint.defs.hh
by Enea Zaffanella 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 09:52:19 Modified files: src : Constraint.defs.hh Log message: Output operator added to the group "Constraint" of functions known to the namespace.

1 0

Polyhedra/src Constraint.defs.hh Constraint.in ...
by Enea Zaffanella 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 09:31:46 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Log message: The Type enumeration made PPL_INTERNAL, as well as the is_nontrivial method. This causes problems to compilation of user.cc, that have stil lto be solved. A few useless detailed comments removed.

1 0

Polyhedra/src Variable.defs.hh Variable.inlines.hh
by Enea Zaffanella 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 09:29:45 Modified files: src : Variable.defs.hh Variable.inlines.hh Log message: Class Variable comments improved. Useless detailed comments removed.

1 0

Polyhedra/src LinExpression.defs.hh LinExpress ...
by Patricia Hill 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: hill(a)sandbox.cs.unipr.it 01/10/09 21:52:31 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Log message: spelling corrected

1 0

Polyhedra/src Polyhedron.cc
by Patricia Hill 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: hill(a)sandbox.cs.unipr.it 01/10/09 21:42:14 Modified files: src : Polyhedron.cc Log message: changes to comments add_dimensions_and_embed/project

1 0

Polyhedra/src GenSys.defs.hh GenSys.cc Polyhed ...
by Enea Zaffanella 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/09 20:29:32 Modified files: src : GenSys.defs.hh GenSys.cc Polyhedron.cc Log message: Method generators_satisfy_constraint renamed as satisfy_constraint.

1 0

Polyhedra/src Polyhedron.cc
by Roberto Bagnara 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/09 20:24:33 Modified files: src : Polyhedron.cc Log message: Slight formatting change.

1 0

Polyhedra/src Polyhedron.inlines.hh SatRow.inl ...
by Enea Zaffanella 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/09 19:59:25 Modified files: src : Polyhedron.inlines.hh SatRow.inlines.hh Log message: SatRow should not appear in the user documentation. Operators on Polyhedron should be commented only once.

1 0