[Coin-lpsolver] basisIsAvailable()

[Francois Margot]

The function OsiClpSolverInterface::basisIsAvailable() always returns
true. This is a little bit dangerous. If modifications are made to the
solver after the last optimization (change of bound on variables, in
particular), the available basis might be (primal or dual, or both) 
infeasible.

Then, calling cut generators such as Gomory and Reduce-and-Split might
result in invalid cuts. The only way (as far as I can tell) to prevent this
is to rely on basisIsAvailable() to stop the cut generator if the current
basis is not optimal anymore.

Cplex is tracking the status of the basis accurately, but Clp does not.
Is it possible to fix that?

Thanks

Francois