CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-08-19 20:23:27

Modified files: src : Infinite_Order_Info.defs.hh Infinite_Order_Info.inlines.hh

Log message: Added the private data `upper_bound_sum' and the methods in order to access it.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.defs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.inli...