From: Alexandre Terrasa <alexandre@moz-code.org>
Date: Thu, 8 May 2014 00:28:03 +0000 (-0400)
Subject: poset: introduce POSet::linearize
X-Git-Tag: v0.6.6~80^2~13
X-Git-Url: http://nitlanguage.org?ds=sidebyside

poset: introduce POSet::linearize

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
---

diff --git a/lib/poset.nit b/lib/poset.nit
index 65695da..ac0765e 100644
--- a/lib/poset.nit
+++ b/lib/poset.nit
@@ -163,6 +163,13 @@ class POSet[E: Object]
 		if res != 0 then return res
 		return elements[a].count <=> elements[b].count
 	end
+
+	# Sort a sorted array of poset elements using linearization order
+	fun linearize(elements: Collection[E]): Array[E] do
+		var lin = elements.to_a
+		sort(lin)
+		return lin
+	end
 end
 
 # View of an objet in a poset