October 2001 - PPL-devel - BUGSENG Mailman

ppl/src LinExpression.defs.hh Polyhedron.cc
by Elisa Ricci 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-30 21:57:04 Modified files: src : LinExpression.defs.hh Polyhedron.cc Log message: In functions Polyhedron::assign_variable and Polyhedron::substitutte_variable considered the cases of an empty polyhedron and of space_dimension of linear expression < space_dimension of polyhedron. In LinExpression the copy-constructor with the size of the new linear expression is now public. 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/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Constraint.cc Constraint.defs.hh
by Enea Zaffanella 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-30 18:50:14 Modified files: src : Constraint.cc Constraint.defs.hh Log message: Added PPL_INTERNAL method Constraint::is_unsatisfiable(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-30 18:01:34 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Now it allows for constants in the head. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-30 17:41:24 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: The interpreter now accepts repeated variables in the head. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
by Enea Zaffanella 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-30 17:39:30 Modified files: src : Polyhedron.cc Polyhedron.defs.hh tests : addconstraints2.cc Log message: Method add_dimensions_and_constraints_lazy renamed as add_dimensions_and_constraints; signature changed (the argument is no longer const); in the implementation, we swap coefficients instead of copying them. 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/tests/addconstraints2.cc.diff…

1 0

ppl/src Row.defs.hh Row.cc
by Elisa Ricci 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-30 15:54:20 Modified files: src : Row.defs.hh Row.cc Log message: Added the function Integer projected_scalar_prod(const Row&, const Row&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Polyhedron.defs.hh
by Patricia Hill 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-30 15:32:13 Modified files: src : Polyhedron.defs.hh Log message: Spelling of "poject" to "project" changed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-30 15:17:19 Modified files: src : Polyhedron.cc Log message: Spelling error corrected in an output message; for consistency, try always to use the dimension-compatibility concept in error messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-30 15:12:24 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Adjusted to allow for = instead of == for equality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/src LinExpression.defs.hh LinExpression.in ...
by Enea Zaffanella 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-30 14:56:56 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Log message: Added method space_dimension. 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.inlines.hh.…

1 0