X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/blobdiff_plain/3bbc19830f1dc2432f91bba40123bb60936a0be3..34bcb159c06a4725f7a2baaf5ddcc6dffd5d74fe:/pypol/isl.py?ds=inline diff --git a/pypol/isl.py b/pypol/isl.py index a95bba3..0b9a485 100644 --- a/pypol/isl.py +++ b/pypol/isl.py @@ -1,22 +1,25 @@ import ctypes, ctypes.util -import functools -import math -import numbers -import operator -import re from . import _isl +__all__ = [ + 'Context', + 'BasicSet', +] + + libisl = ctypes.CDLL(ctypes.util.find_library('isl')) libisl.isl_printer_get_str.restype = ctypes.c_char_p -libisl.isl_dim_set = _isl.isl_dim_set +libisl.isl_dim_set = _isl.dim_set class IslObject: - __slots__ = ('_ptr') + __slots__ = ( + '_ptr', + ) def __init__(self, ptr): self._ptr = ptr @@ -54,3 +57,6 @@ class BasicSet(IslObject): def __del__(self): libisl.isl_basic_set_free(self) + + def constraints(self): + return _isl.basic_set_constraints(self._ptr)