[PPL-devel] ppl/src Octagonal_Shape.templates.hh

5 May 2006


      CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	octagons
Changes by:	quartieri@cs.unipr.it	2006-05-05 15:09:15
Modified files:
    src            : Octagonal_Shape.templates.hh
Log message:
    Added the assertion
    assert(sc_den > 0);
    in
    Octagonal_Shape<T>::deduce_v_pm_u_bounds()
    and in
    Octagonal_Shape<T>::deduce_minus_v_pm_u_bounds().
    `sc_den' is always positive.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates....

[PPL-devel] ppl/src Octagonal_Shape.templates.hh

Barbara Quartieri