pypol/__init__.py

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