pypol/__init__.py

   1 """
   2 A polyhedral library based on ISL.
   3 """
   4
   5 from .linexprs import Expression, Symbol, symbols, Rational
   6 from .polyhedra import Polyhedron, Eq, Ne, Le, Lt, Ge, Gt, Ne, Empty, Universe
   7 from .domains import Domain, And, Or, Not
   8
   9
  10 __all__ = [
  11     'Expression', 'Symbol', 'symbols', 'Rational',
  12     'Polyhedron', 'Eq', 'Ne', 'Le', 'Lt', 'Ge', 'Gt', 'Empty', 'Universe',
  13     'Domain', 'And', 'Or', 'Not',
  14 ]