Add __slots__ declarations

[linpy.git] / pypol / __init__.py

diff --git a/pypol/__init__.py b/pypol/__init__.py
index a6ea752429f025948fce051a480d4b5ae9ff1f52..7a195ca6194bb58fb936d5ce7be1bd97373243e7 100644 (file)
--- a/pypol/__init__.py
+++ b/pypol/__init__.py
@@ -4,11 +4,11 @@ A polyhedral library based on ISL.
 
 from .linear import Constant, Symbol, symbols
 from .linear import eq, le, lt, ge, gt
 
 from .linear import Constant, Symbol, symbols
 from .linear import eq, le, lt, ge, gt

-from .linear import empty, universe
+from .linear import Empty, Universe

 
 
 __all__ = [
     'Constant', 'Symbol', 'symbols',
     'eq', 'le', 'lt', 'ge', 'gt',
 
 
 __all__ = [
     'Constant', 'Symbol', 'symbols',
     'eq', 'le', 'lt', 'ge', 'gt',

-    'empty', 'universe'
+    'Empty', 'Universe'

 ]
 ]