October 2001 - PPL-devel - BUGSENG Mailman

Exploiting a feature of doxygen.
by Enea Zaffanella 31 Oct '01

31 Oct '01

Reading the doxygen manual, I discovered the special command \relates that can be usefully exploited for placing the documentation of non-friend but related functions inside the section pertaining to a particular class. To me, using this command is better than having the explicit grouping of these functions inside the namespace documentation section. The only drawback is that this way we can only document functions (e.g., it seems not possible to apply the \relates command to an enumerated type). -- Enea Zaffanella Dipartimento di Matematica - Universita' di Parma Via M. D'Azeglio, 85/A I 43100 - PARMA (Italy) Tel: +39 0521 032317 Fax: +39 0521 032350

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-31 22:32:31 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Removed false_constraint_term(): it is no longer needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc p ...
by Roberto Bagnara 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-31 22:31:34 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc ppl_sicstus.pl solve.pl Log message: ppl_copy_polyhedron/2 is now provided by the interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-31 22:09:37 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: In ppl_get_constraints/2, no longer treat empty polyhedra specially. get_generator() renamed generator_term(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-31 21:29:10 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: In ppl_get_generators/2, no longer abort if the polyhedron is zero-dimensional. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/src Constraint.defs.hh Generator.defs.hh P ...
by Enea Zaffanella 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-31 21:22:53 Modified files: src : Constraint.defs.hh Generator.defs.hh Polyhedron.defs.hh Variable.defs.hh Log message: Exploiting the doxygen special command \relates to put the documentation of non-friend functions inside the documentation of the related class. 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/Generator.defs.hh.diff?cv… 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/Variable.defs.hh.diff?cvs…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-31 21:20:57 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: All C++ exceptions are now handled and translated into Prolog exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/src Polyhedron.cc Matrix.cc
by Elisa Ricci 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-31 18:25:28 Modified files: src : Polyhedron.cc Matrix.cc Log message: Now, the function merge_row_assign resizes the second matrix if it is necessary: it means that in functions add_constraints_lazy and limited_widening_assign we do not resize the matrix cs. In Polyhedron::OK the check of the number of columns is not necessary. 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/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-31 15:37:01 Modified files: src : Polyhedron.cc Log message: In function Polyhedron::OK() the case of is_empty == true is considered. 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 31 Oct '01

31 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-31 14:45:07 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Now, backtracking works for some queries including fibonacci. Also it works with a test that checks deeper backtracking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0