Move isl version test in Domain.vertices outside

[linpy.git] / doc / reference.rst

diff --git a/doc/reference.rst b/doc/reference.rst
index 83ee9d3..5c8da90 100644 (file)
--- a/doc/reference.rst
+++ b/doc/reference.rst
@@ -284,6 +284,10 @@ This space can be unbounded.
 
         Return the convex union of two or more polyhedra.
 
 
         Return the convex union of two or more polyhedra.
 

+    .. method:: asinequalities()
+
+        Express the polyhedron using inequalities, given as a list of expressions greater or equal to 0.
+

     .. method:: widen(polyhedron)
 
         Compute the *standard widening* of two polyhedra, à la Halbwachs.
     .. method:: widen(polyhedron)
 
         Compute the *standard widening* of two polyhedra, à la Halbwachs.