projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improvements in decorators, data types, caches
[linpy.git]
/
pypol
/
isl.py
diff --git
a/pypol/isl.py
b/pypol/isl.py
index
ddf7ea0
..
a95bba3
100644
(file)
--- a/
pypol/isl.py
+++ b/
pypol/isl.py
@@
-1,8
+1,3
@@
-"""
-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 ctypes, ctypes.util
import functools
import math
@@
-34,7
+29,8
@@
class IslObject:
class Context(IslObject):
def __init__(self):
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):
#comment out so does not delete itself after being created
#def __del__(self):