Polyhedron() constructor can return Empty or Universe 1.0.2
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 9 Sep 2014 09:13:23 +0000 (11:13 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 9 Sep 2014 09:13:23 +0000 (11:13 +0200)
linpy/polyhedra.py

index ead9b83..820b014 100644 (file)
@@ -222,6 +222,10 @@ class Polyhedron(Domain):
 
     @classmethod
     def _fromislbasicset(cls, islbset, symbols):
+        if bool(libisl.isl_basic_set_is_empty(islbset)):
+            return Empty
+        if bool(libisl.isl_basic_set_is_universe(islbset)):
+            return Universe
         islconstraints = islhelper.isl_basic_set_constraints(islbset)
         equalities = []
         inequalities = []