nitc: remove has_all from partialorder

[nit.git] / src / metamodel / partial_order.nit

diff --git a/src/metamodel/partial_order.nit b/src/metamodel/partial_order.nit
index a151453..2ae297c 100644 (file)
--- a/src/metamodel/partial_order.nit
+++ b/src/metamodel/partial_order.nit
@@ -130,17 +130,6 @@ class PartialOrder[E: Object]
                return poe
        end
 
-       # Are all these elements in the order
-       fun has_all(e: Collection[E]): Bool
-       do
-               for i in e do
-                       if not has(i) then
-                               return false
-                       end
-               end
-               return true
-       end
-
        # factory for partial order elements
        protected fun new_poe(e: E, directs: Array[E]): PartialOrderElement[E]
        do