From 66eaddd271c4beff5451fab2030389cd634e1385 Mon Sep 17 00:00:00 2001 From: Vivien Maisonneuve Date: Wed, 2 Jul 2014 06:10:18 +0200 Subject: [PATCH 1/1] Add missing classmethod decorator --- pypol/domains.py | 1 + 1 file changed, 1 insertion(+) diff --git a/pypol/domains.py b/pypol/domains.py index 6b47fe8..b4780fc 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -249,6 +249,7 @@ class Domain: self._dimension = len(self._symbols) return self + @classmethod def _toislset(cls, polyhedra, symbols): polyhedron = polyhedra[0] islbset = polyhedron._toislbasicset(polyhedron.equalities, -- 2.20.1