From e21e06be0a63f74174e03a53037e91e051c84b79 Mon Sep 17 00:00:00 2001 From: Danielle Bolan Date: Mon, 7 Jul 2014 10:48:13 +0200 Subject: [PATCH 1/1] Getting vertices when version < 0.13 --- pypol/domains.py | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/pypol/domains.py b/pypol/domains.py index 2fbd544..600049c 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -260,16 +260,18 @@ class Domain: _RE_COORDINATE = re.compile(r'\((?P\-?\d+)\)(/(?P\d+))?') def vertices(self): + #returning list of verticies + from .polyhedra import Polyhedron islbset = self._toislbasicset(self.equalities, self.inequalities, self.symbols) vertices = libisl.isl_basic_set_compute_vertices(islbset); vertices = islhelper.isl_vertices_vertices(vertices) points = [] for vertex in vertices: - expr = libisl.isl_vertex_get_expr(vertex); + expr = libisl.isl_vertex_get_expr(vertex); if islhelper.isl_version < '0.13': - string = islhelper.isl_set_to_str(expr) - print(string) - # to be continued... + #pass bset from expr to points to get verticies + exp = Polyhedron._fromislbasicset(expr, self.symbols) + points.append(exp.points()) else: # horrible hack, find a cleaner solution string = islhelper.isl_multi_aff_to_str(expr) -- 2.20.1