CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella@cs.unipr.it 2006-05-02 12:42:41

Modified files: src : Octagonal_Shape.templates.hh

Log message: Restored previous version of is_strongly_reduced(): the modified version was not working as it was assumming that a strongly reduced matrix is just strongly closed plus Booleans indicating redundancies (as for BD shapes). Removed a few redundant template qualifications.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates....