projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Rename Domain.project_out() into Domain.project()
[linpy.git]
/
pypol
/
polyhedra.py
diff --git
a/pypol/polyhedra.py
b/pypol/polyhedra.py
index
7181565
..
f93f31e
100644
(file)
--- a/
pypol/polyhedra.py
+++ b/
pypol/polyhedra.py
@@
-84,7
+84,7
@@
class Polyhedron(Domain):
def polyhedral_hull(self):
return self
-
+
@classmethod
def _fromislbasicset(cls, islbset, symbols):
islconstraints = islhelper.isl_basic_set_constraints(islbset)