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

30 Apr 2006


      CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	octagons
Changes by:	zaffanella@cs.unipr.it	2006-04-30 15:16:23
Modified files:
    src            : Octagonal_Shape.inlines.hh
Log message:
    Avoid useless inclusions of iostream, sstream and stdexcept.
    Avoid a few useless braces.
    Deleted useless function strong_coherence_local_step().
    Deleted functions get_matrix_element() (use OR_Matrix<T>::at() instead).
    Some improvements (in particular, in assertion checking) in methods
    add_octagonal_constraint() and forget_octagonal_constraints().
    A few documentation improvements.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh...

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

Enea Zaffanella