Constant names Empty and Universe, pretty printing

[linpy.git] / pypol / __init__.py

diff --git a/pypol/__init__.py b/pypol/__init__.py
index a6ea752..7a195ca 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'

 ]
 ]