]> CRI, Mines Paris - PSL - linpy.git/commitdiff
Add warning in widening documentation
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 13:26:43 +0000 (15:26 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 13:26:43 +0000 (15:26 +0200)
doc/reference.rst
linpy/polyhedra.py

index 4e716582dd28d4a471a697930bc126ba5cac9f50..18e69c0d1b6c49e73c60cec946ad1a343c7a345b 100644 (file)
@@ -282,6 +282,8 @@ This space can be unbounded.
 
         Compute the *standard widening* of two polyhedra, à la Halbwachs.
 
+        In its current implementation, this method is slow and should not be used on large polyhedra.
+
 
 .. data:: Empty
 
index 8426d32a3d641863a02410b85fcd9cdc660e5b59..9fdf6e792ccdbb1145dce7e2d1ca712d75f7deee 100644 (file)
@@ -173,6 +173,9 @@ class Polyhedron(Domain):
     def widen(self, other):
         """
         Compute the standard widening of two polyhedra, à la Halbwachs.
+
+        In its current implementation, this method is slow and should not be
+        used on large polyhedra.
         """
         if not isinstance(other, Polyhedron):
             raise ValueError('argument must be a Polyhedron instance')