- PPL-devel - BUGSENG Mailman

Doxygen bug report: (pdf)latex is not run as many times as necessary
by Roberto Bagnara 01 Nov '01

01 Nov '01

Doxygen writes, in the LATEX_OUTPUT a Makefile that is very useful in order not to run (pdf)latex and makeindex by hand. Here is one of the make rules I am talking about refman.dvi: refman.tex doxygen.sty echo "Running latex..." latex refman.tex echo "Running makeindex..." makeindex refman.idx echo "Rerunning latex...." latex refman.tex The problem is that (pdf)latex may have to be run multiple times to get cross-references right. Sometimes running it once after makeindex is indeed enough, but must often you need to run it twice (this is the case for the project I am working on). In rare cases you need to run it three or more times (even though I have never seen more than three runs to be necessary). That is why I propose to replace the above rule by the following and to provide a similar rule for pdflatex when USE_PDFLATEX is set to YES: refman.dvi: refman.tex doxygen.sty echo "Running latex..." latex refman.tex echo "Running makeindex..." makeindex refman.idx echo "Rerunning latex...." latex refman.tex latex_count=5 while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log && [ $latex_count -gt 0 ] ;\ do \ echo "Rerunning latex...." ;\ latex refman.tex ;\ latex_count=`expr $latex_count - 1` ;\ done Notice that latex is run only if necessary and at most five times after makeindex. This is done because (pdf)latex is not guaranteed to be able to stabilize the cross-references. While this happens only in extremely pathological cases, it is better to take measures against it. That is what latex_count is used for. All the best, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

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

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 17:27:59 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Bug is fixed and test added to check bug is dead. Also, more care is taken to remove polyhedron that are no longer needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

Doxygen bug report: namespaces and friends
by Roberto Bagnara 01 Nov '01

01 Nov '01

The attached files exemplify a bug in Doxygen 1.2.11 whereby Doxygen seems unable to match a friend function with its documentation in the presence of namespaces. Here is bug3.cc (certified standard conformant C++ code): namespace N { class A; void bar(A& a); }; //! Documenting class A. class N::A { private: int i; public: void foo(); friend void N::bar(A& a); }; /*! Documentation for foo. */ void N::A::foo() { } /*! Documentation for bar. */ void N::bar(A& a) { ++a.i; } Doxygen outputs, among other things, .../bug3.cc:13 Warning: Member N::bar of class N::A is not documented. First, N::bar is not a member of class N::A. Then it is not true that it is not documented. In fact, it is documented the same way the member N::A::foo is. To reproduce: $ doxygen Doxyfile $ make ps All the best, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it PROJECT_NAME = BugReport PROJECT_NUMBER = PPL.3 OUTPUT_DIRECTORY = . OUTPUT_LANGUAGE = English INPUT = bug3.cc GENERATE_LATEX = YES LATEX_OUTPUT = . COMPACT_LATEX = YES namespace N { class A; void bar(A& a); }; //! Documenting class A. class N::A { private: int i; public: void foo(); friend void N::bar(A& a); }; /*! Documentation for foo. */ void N::A::foo() { } /*! Documentation for bar. */ void N::bar(A& a) { ++a.i; }

1 0

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

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 15:44:46 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Now, delete_polyhedron is used when the call to solve((A,B)...) fails as well as when it succeeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/src ConSys.cc GenSys.cc Row.cc Row.defs.hh
by Elisa Ricci 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-11-01 15:36:55 Modified files: src : ConSys.cc GenSys.cc Row.cc Row.defs.hh Log message: Erased the function projected_scalar_prod(x, y) and used instead of it the operator * that it is changed to support also the case of x.size() < y.size (operator * so can be used in the case x.size <= y.size). The functions GenSys::satisfy(Constraint) and ConSys::satisfies_all_constraints(Generator) are modified to use only the operator *. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

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

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 14:34:33 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Names of terms made more descriptive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/src Matrix.cc Matrix.inlines.hh Polyhedron ...
by Enea Zaffanella 01 Nov '01

01 Nov '01

1 0

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

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 13:53:54 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Now temporary polyhedra are deleted when they are no longer needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

Doxygen bug report: \if does not work (with LaTeX math?)
by Roberto Bagnara 01 Nov '01

01 Nov '01

The attached files exemplify a bug in Doxygen 1.2.11 whereby the use of \if ... \endif causes the production of wrong LaTeX output. To reproduce: $ doxygen Doxyfile $ make ps then see what happens on page 1. All the best, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it PROJECT_NAME = BugReport PROJECT_NUMBER = PPL.2 OUTPUT_DIRECTORY = . OUTPUT_LANGUAGE = English INPUT = definitions.dox GENERATE_LATEX = YES LATEX_OUTPUT = . COMPACT_LATEX = YES // Copyright (C) 2001 Roberto Bagnara <bagnara(a)cs.unipr.it> // // This document describes the Parma Polyhedra Library (PPL). // // Permission is granted to copy, distribute and/or modify this document // under the terms of the GNU Free Documentation License, Version 1.1 or // any later version published by the Free Software Foundation; with no // Invariant Sections, with no Front-Cover Texts, and with no Back-Cover // Texts. // // The PPL is free software; you can redistribute it and/or modify it // under the terms of the GNU General Public License as published by the // Free Software Foundation; either version 2 // of the License, or (at your option) any later version. // // The PPL is distributed in the hope that it will be useful, but WITHOUT // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License // for more details. // // For the most up-to-date information see the Parma Polyhedra Library // site: http://www.cs.unipr.it/ppl/ /*! \mainpage Convex Polyhedra and the PPL \section introduction An Introduction to Convex Polyhedra The following definitions and results are taken from: - G. L. Nemhauser and L. A. Wolsey - Integer and Combinatorial Optimization - Wiley Interscience Series in Discrete Mathematics and Optimization, 1988. - D. K. Wilde - A library for doing polyhedral operations - IRISA Publication interne n. 785, December 1993. - K. Fukuda - Polyhedral Computation FAQ - Swiss Federal Institute of Technology, Lausanne and Zurich, Switzerland, October 2000. Be careful not to confuse the dimension \f$k\f$ of a polyhedron \f$P \subseteq R^n\f$ with the dimension \f$n\f$ of the enclosing vector space. (The following blurb is due to a bug in Doxygen.) \if Implementation_Info The following definitions and results are taken, in addition to the references mentioned before, from: - G. B Dantzig - Linear programming and extensions - Princeton University Press, New Jersey 1963. \section homogeneous Homogeneous Systems To simplify both the constraints and generators representations of a polyhedron \f$P \in R^n\f$, it is useful to map each point \f$\mathbf{x} \in R^n\f$ to a point \f$\mathbf{x}' = (\xi \mathbf{x}, \xi)^T \in R^{n + 1}\f$ where \f$\xi \geq 0\f$. \endif */

1 0

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

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 13:04:28 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Old code for ppl_renew_polyhedron that does not use ppl_delete_polyhedron has been restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0