Skip to content

solver-ginsberg: Rework cached dictionary interface

Antoine Belvire requested to merge quality/rework_prober_dictionary_interface into master

Context

A cleanup of the CachedDictionary interface.

It has moved a lot with recent MRs, this MR aims to polish it, without any (real) functional change.

What has changed?

Main Changes

croiseur-solver-ginsberg

  • Reworked CachedDictionary interface, improved Javadoc
  • Move probe of elimination space out of cached dictionary to prober where it belongs - there is some work to be done there since this probe is a bit convoluted.

Merge request reports