From 290c8812b573ade29cedc2a983cc92a527bbe59a Mon Sep 17 00:00:00 2001 From: Alexandre Terrasa Date: Wed, 7 May 2014 20:28:03 -0400 Subject: [PATCH] poset: introduce POSet::linearize Signed-off-by: Alexandre Terrasa --- lib/poset.nit | 7 +++++++ 1 file changed, 7 insertions(+) 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 -- 1.7.9.5