Module: ppl/ppl Branch: master Commit: 346cfc0d619893a05f79da7d53e454f556da5c6b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=346cfc0d61989...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Mon Oct 28 09:04:37 2013 +0100

Label updated.

---

doc/definitions.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox index eae3ce5..6565e52 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1586,7 +1586,7 @@ Note that the above set might not be an NNC polyhedron. \subsection Positive_Time_Elapse_Operator Positive Time-Elapse Operator

The <EM>positive time-elapse</EM> operator has been defined in -\ref BFM11 "[BFM11,BFM12]". +\ref BFM11 "[BFM11,BFM13]". The operator provided by the library works on NNC polyhedra. For any two NNC polyhedra \f$\cP, \cQ \in \Pset_n\f$, the positive time-elapse between \f$\cP\f$ and \f$\cQ\f$, denoted \f$ \cP