Gael Guennebaud 77ff3386b7 Refactoring of the cost model:
- Dynamic is now an invalid value
 - introduce a HugeCost constant to be used for runtime-cost values or arbitrarily huge cost
 - add sanity checks for cost values: must be >=0 and not too large
This change provides several benefits:
 - it fixes shortcoming is some cost computation where the Dynamic case was not properly handled.
 - it simplifies cost computation logic, and should avoid future similar shortcomings.
 - it allows to distinguish between different level of dynamic/huge/infinite cost
 - it should enable further simplifications in the computation of costs (save compilation time)
2015-10-28 11:42:14 +01:00
..
2015-10-06 17:22:12 +02:00
2014-01-24 12:51:33 +01:00
2013-08-12 07:39:24 +02:00
2015-10-09 14:28:48 +02:00
2015-10-08 16:27:54 +02:00
2015-04-26 21:05:33 +02:00
2015-10-23 10:36:33 +02:00
2015-06-16 22:11:41 +02:00
2015-10-28 11:42:14 +01:00
2013-08-12 07:39:24 +02:00
2015-10-27 11:01:37 +01:00
2015-03-19 15:11:05 +01:00
2015-10-27 11:01:37 +01:00
2015-08-04 16:12:16 +02:00
2015-10-23 10:36:33 +02:00
2014-07-09 13:06:06 +02:00
2013-02-25 01:12:07 +01:00