# Other elements inherit color from their direct parents
private fun colorize_set(set: Set[H]) do
for h in graph.order do
if not set.has(h) then continue
var color = inherit_color(h)
var mincolor = color
var bucket = buckets.get_or_null(h)
if bucket == null then continue
var parents = poset[h].greaters
for e in bucket do
color = next_free_color(color, parents)
colors_cache[e] = color
used_colors[h].add color
#print "{h}: color[{color}] <- {e} (set)"
if mincolor == color then mincolor += 1
color += 1
end
min_colors[h] = mincolor
end
end
src/compiler/coloring.nit:385,2--405,4