-"""
-note: for islpy
-isl format: basic set: ("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }")
-"""
-
import ctypes, ctypes.util
-import functools
-import math
-import numbers
-import operator
-import re
from . import _isl
class IslObject:
- __slots__ = ('_ptr')
+ __slots__ = (
+ '_ptr',
+ )
def __init__(self, ptr):
self._ptr = ptr
class Context(IslObject):
def __init__(self):
- self._ptr = libisl.isl_ctx_alloc()
+ ptr = libisl.isl_ctx_alloc()
+ super().__init__(ptr)
#comment out so does not delete itself after being created
#def __del__(self):