projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improve representation of Constants
[linpy.git]
/
pypol
/
isl.py
diff --git
a/pypol/isl.py
b/pypol/isl.py
index
ddf7ea0
..
f15cea1
100644
(file)
--- a/
pypol/isl.py
+++ b/
pypol/isl.py
@@
-1,14
+1,4
@@
-"""
-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 ctypes, ctypes.util
-import functools
-import math
-import numbers
-import operator
-import re
from . import _isl
from . import _isl
@@
-21,7
+11,9
@@
libisl.isl_dim_set = _isl.isl_dim_set
class IslObject:
class IslObject:
- __slots__ = ('_ptr')
+ __slots__ = (
+ '_ptr',
+ )
def __init__(self, ptr):
self._ptr = ptr
def __init__(self, ptr):
self._ptr = ptr
@@
-34,7
+26,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):