CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2007-03-19 13:24:51

Modified files: src : Box.templates.hh

Log message: We were using Interval::lower_set() instead of Interval::lower_set_uninit() in Box<Interval>::Box(const BD_Shape<T>&, Complexity_Class). Several assert(OK()) were missing.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsr...