to factorize the linearization
Signed-off-by: Jean Privat <jean@pryen.org>
+ # The linearisation order to visit elements in the poset
+ var order: Array[E] is noinit
+
init do
extract_core
extract_border
extract_crown
compute_conflicts
init do
extract_core
extract_border
extract_crown
compute_conflicts
+ order = poset.linearize(poset)
end
# Compute the set of elements forming the core of the poset hierarchy.
end
# Compute the set of elements forming the core of the poset hierarchy.