The resulting coloring

Each element from buckets is associated to its own color

Property definitions

nitc $ POSetGroupColorer :: colors
	# The resulting coloring
	#
	# Each element from buckets is associated to its own color
	var colors: Map[E, Int] is lazy do
		for h in graph.poset do
			used_colors[h] = new HashSet[Int]
		end
		compute_colors
		return colors_cache
	end
src/compiler/coloring.nit:310,2--319,4