From: Danielle Bolan <n02702451@hawkmail.newpaltz.edu>
Date: Thu, 31 Jul 2014 12:39:02 +0000 (+0200)
Subject: Change name of method
X-Git-Tag: 1.0~89
X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/5eca735504be3b7c301e2a1fa37712eb88b4ec64?ds=inline;hp=cc6c00616ffb4e7bdf81d5d186ea91b61b304ff1

Change name of method
---

diff --git a/doc/domain.rst b/doc/domain.rst
index 7f99617..e45b0fb 100644
--- a/doc/domain.rst
+++ b/doc/domain.rst
@@ -17,9 +17,10 @@ Domains Module
     
         Returns a domain as disjoint.
         
-    .. py:method:: involvesvars(self, vars)
+    .. py:method:: involves_vars(self, vars)
     
-       Returns ``True`` if a domain depends on the given dimensions. 
+       Returns ``True`` if a domain depends on the given variables.
+        
         
     The unary properties of a domain can be inspected using the following methods. 
     
diff --git a/pypol/domains.py b/pypol/domains.py
index e730f16..cdf2de4 100644
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -305,9 +305,9 @@ class Domain(GeometricObject):
         return self._fromislset(islset, self.symbols)
 
 
-    def involvesvars(self, vars):
+    def involves_vars(self, vars):
         """
-        Returns true if set depends on given dimensions.
+        Returns true if a set depends on given dimensions.
         """
         islset = self._toislset(self.polyhedra, self.symbols)
         dims = sorted(vars)