CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2009-01-28 10:11:38

Modified files: src : Interval.defs.hh

Log message: Added specification for new Interval method template <typename From> typename Enable_If<Is_Interval<From>::value, void>::type empty_intersection_assign(const From& y); to be used in the implementation of Box::simplify_using_context_assign.

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