pypol/__init__.py

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