-
"""
A polyhedral library based on ISL.
"""
-from .linear import Constant, Symbol, symbols
+from .linear import Polyhedron, 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',
+ 'Polyhedron', 'Constant', 'Symbol', 'symbols',
'eq', 'le', 'lt', 'ge', 'gt',
- 'empty', 'universe'
+ 'Empty', 'Universe'
]