X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/49ee540c88ee9e40095635cf574e2966712d5101..efe7abf81717b6bf1f0e6d66352a4c3615538789:/pypol/isl.py diff --git a/pypol/isl.py b/pypol/isl.py index f15cea1..a295e9f 100644 --- a/pypol/isl.py +++ b/pypol/isl.py @@ -3,6 +3,12 @@ import ctypes, ctypes.util from . import _isl +__all__ = [ + 'Context', + 'BasicSet', +] + + libisl = ctypes.CDLL(ctypes.util.find_library('isl')) libisl.isl_printer_get_str.restype = ctypes.c_char_p @@ -51,3 +57,6 @@ class BasicSet(IslObject): def __del__(self): libisl.isl_basic_set_free(self) + + def constraints(self): + return _isl.isl_basic_set_constraints(self._ptr)