From: Danielle Bolan 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)