This is part of meta issue567.
I want to pull out the label reduction functionality from the Labels class,
because the Labels class is used at many places, whereas the label reduction
only happens in the merge and shrink main loop. The Labels class could be owned
by FactoredTransitionSystem, and LabelReduction, similarly to merge and shrink
strategies, will be managed by the merge-and-shrink heuristic itself.
This issue probably will perform further small refactoring of the
merge-and-shrink main loop and the FactoredTransitionSystem class.
|