Doc
Linearization

Core is composed by:

elements that have mutiple direct parents
parents of elements that have multiple direct parents
REQUIRE: is_colored

Property definitions

nitc $ POSetConflictGraph :: core

	# Core is composed by:
	#  * elements that have mutiple direct parents
	#  * parents of elements that have multiple direct parents
	# REQUIRE: is_colored
	var core = new HashSet[E]

src/compiler/coloring.nit:22,2--26,26