Re: Questions

[Leslie P. Polzer]

> Certainly I'm willing to entertain the idea of changing this.
> Optimisers tend to work best (andmost intuitively) when they have am
> idea of the world that matches reality.  For that reason I wanted
> est_success_rate to model the actual success rate of those predicates
> (on average).  Some of the tests have very low values, for example
> -inum is 1.0e-6.
>
> (While I think about it, the value for -quit is very wrong; fixed.)
I see.  But I believe we could stay with integers in normal operation
(since we need only number_of_predicates numbers to reorder the tests)
and use floats only for performance measurement.

  Would that match your plan?

Or perhaps you could tell me more about the architecture of the
optimizer you had in mind.  Should it be some adaptive system?

  Leslie