Class SaturationDegreeColoring.Heap