pypol/__init__.py

   1 """
   2 A polyhedral library based on ISL.
   3 """
   4
   5 from .linear import Polyhedron, Constant, Symbol, symbols
   6 from .linear import eq, le, lt, ge, gt
   7 from .linear import Empty, Universe
   8
   9
  10 __all__ = [
  11     'Polyhedron', 'Constant', 'Symbol', 'symbols',
  12     'eq', 'le', 'lt', 'ge', 'gt',
  13     'Empty', 'Universe'
  14 ]