Rename Domain.project_out() into Domain.project()

[linpy.git] / pypol / domains.py

diff --git a/pypol/domains.py b/pypol/domains.py
index a924b83..dd39220 100644 (file)
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -152,7 +152,7 @@ class Domain:
         islbset = libisl.isl_set_polyhedral_hull(islset)
         return Polyhedron._fromislbasicset(islbset, self.symbols)
 
         islbset = libisl.isl_set_polyhedral_hull(islset)
         return Polyhedron._fromislbasicset(islbset, self.symbols)
 

-    def project_out(self, dims):
+    def project(self, dims):

         # use to remove certain variables
         islset = self._toislset(self.polyhedra, self.symbols)
         n = 0
         # use to remove certain variables
         islset = self._toislset(self.polyhedra, self.symbols)
         n = 0