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 (file)
--- 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