Conflict graph of the POSet

Elements X and Y are in conflict if either:

  • X and Y are the same element
  • Y is a subelement of X
  • X and Y have common sub elements

    REQUIRE: is_colored

Property definitions

nitc $ POSetConflictGraph :: conflicts
	# Conflict graph of the POSet
	# Elements X and Y are in conflict if either:
	#  * X and Y are the same element
	#  * Y is a subelement of X
	#  * X and Y have common sub elements
	# REQUIRE: is_colored
	var conflicts = new HashMap[E, Set[E]]
src/compiler/coloring.nit:40,2--46,39