- PPL-devel - BUGSENG Mailman

Polyhedra/src ConSys.defs.hh ConSys.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 16:06:10 Modified files: src : ConSys.defs.hh ConSys.inlines.hh GenSys.defs.hh GenSys.inlines.hh Log message: For documentation purposes, added destructors for the const_iterator classes of ConSys and GenSys.

1 0

Polyhedra/src ConSys.defs.hh GenSys.defs.hh
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 15:51:08 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: Adeed the title "Example" before the example of the use of const_iterator and changed the comment: we want to "print" the system of constraints/generators (not to "read").

1 0

Polyhedra/src ConSys.defs.hh GenSys.defs.hh Co ...
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 15:41:54 Modified files: src : ConSys.defs.hh GenSys.defs.hh ConSys.inlines.hh GenSys.inlines.hh Log message: Added the copy constructors for both ConSys and GenSys. Added a method "insert" to GenSys.

1 0

Polyhedra/src ConSys.defs.hh
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 15:29:48 Modified files: src : ConSys.defs.hh Log message: Added the example for the use of const_iterator of the class ConSys in its comment.

1 0

Polyhedra/src LinExpression.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 15:09:05 Modified files: src : LinExpression.inlines.hh Log message: Removed useless deatiled comments.

1 0

Polyhedra/src ConSys.defs.hh GenSys.defs.hh Ge ...
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 13:22:21 Modified files: src : ConSys.defs.hh GenSys.defs.hh GenSys.inlines.hh Log message: User manual comments adjusted for the class GenSys. The constructor GenSys(size_t num_rows, size_t num_columns) made PPL_INTERNAL; useless detailed comments removed.

1 0

Polyhedra/src ConSys.defs.hh Generator.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 13:00:25 Modified files: src : ConSys.defs.hh Generator.defs.hh Generator.inlines.hh Log message: User manual comments for class Generator adjusted. Redundant detailed comments removed.

1 0

Polyhedra/src Constraint.defs.hh ConSys.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 12:15:01 Modified files: src : Constraint.defs.hh ConSys.defs.hh Log message: Added short descriptions for classes Constraint and ConSys.

1 0

Polyhedra/src Polyhedron.cc
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 11:57:37 Modified files: src : Polyhedron.cc Log message: In functions assign_variable(...) and substitute_variable: used the appropriate notation for the scalar product; used the notation of column-vector instead of row-vector for the points of polyhedra; changed a notiation in the formulas to find the inverse transformation.

1 0

Polyhedra/src simplify.cc
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 11:51:49 Modified files: src : simplify.cc Log message: Corrected a formula and used the appropriate notation for the scalar product.

1 0